[coreboot-gerrit] Change in coreboot[master]: include/cpu/amd/msr: rename MSR_PSP_ADDR to PSP_ADDR_MSR