[coreboot] Patch set updated for coreboot: 3fc0235 some black magic for initializing the old version of the k8t800