[coreboot] Re: Installing OpenBIOS/coreboot