[coreboot-gerrit] Change in coreboot[master]: util/inteltool/cpu: fix IA32_PLATFORM_ID MSR addr