[coreboot] Patch merged into coreboot/master: a416bfe haswell: move definition of CORE_THREAD_COUNT_MSR