[coreboot] Re: Coreboot BIOS question