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