src/sys/lib/libgnuefi/arch/x86_64