src/sys/arch/i386/stand/efiboot/bootx64