[coreboot] Fwd: Problem with boot coreboot