[coreboot] Re: WG:Installing OpenBIOS/coreboot