[coreboot] Installing coreboot with SeaBIOS