[coreboot-gerrit] Patch merged into coreboot/master: cpu/amd/fam10h-fam15h: Bring HT register configuration in line with BKDG