[coreboot-gerrit] Patch merged into coreboot/master: amd/family_10h-family_15h: Fix poor performance on Family 15h CPUs