/stand/efi/libsa32efi/