[coreboot-gerrit] Change in coreboot[master]: intel: Use MSR_EBC_FREQUENCY_ID instead of 0x2c