[coreboot] QEMU BIOS question