[coreboot] Re: Installing coreboot with SeaBIOS