coreboot-kgpe-d16/targets/emulation/qemu-i386/Config.lb