[coreboot] Re: Replacing BIOS