coreboot-kgpe-d16/src/drivers/emulation/qemu/Config.lb