/stand/efi/libefi32/