[coreboot-gerrit] Patch set updated for coreboot: cpu/amd/family_10h-family_15h: Set up SRI to XCS Token Count registers on Family 15h