/libs/gnu-efi/