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