[coreboot-gerrit] Change in coreboot[master]: src: Move IA32_THERM_INTERRUPT to x86/msr.h