/qemu/roms/ipxe/src/arch/x86/interface/efi/