[coreboot] Coreboot BIOS question