[coreboot-gerrit] Change in coreboot[master]: include/cpu/x86/msr: add IA32_ prefix to MC0_ADDR and MC0_MISC