src/sys/external/bsd/gnu-efi/dist/lib/x86_64