[coreboot] New patch to review for coreboot: 1d3497c haswell: move definition of CORE_THREAD_COUNT_MSR