[coreboot] Patch merged into coreboot/master: 3fc0235 some black magic for initializing the old version of the k8t800