[coreboot] New patch to review for coreboot: 309034f support for different location of HT registers in old version of K8T800