[coreboot-gerrit] New patch to review for coreboot: c4f9b1f AMD: Uniformly define MSRs for TOP_MEM and TOP_MEM2