diff --git a/src/cpu/intel/haswell/haswell.h b/src/cpu/intel/haswell/haswell.h
index f5c580ec7e..7ce868d30d 100644
--- a/src/cpu/intel/haswell/haswell.h
+++ b/src/cpu/intel/haswell/haswell.h
@@ -25,6 +25,7 @@
 /* Haswell bus clock is fixed at 100MHz */
 #define HASWELL_BCLK		100
 
+#define CORE_THREAD_COUNT_MSR		0x35
 #define IA32_FEATURE_CONTROL		0x3a
 #define  CPUID_VMX			(1 << 5)
 #define  CPUID_SMX			(1 << 6)
diff --git a/src/cpu/intel/haswell/smmrelocate.c b/src/cpu/intel/haswell/smmrelocate.c
index e2a6482ba6..1ccc9bb5b3 100644
--- a/src/cpu/intel/haswell/smmrelocate.c
+++ b/src/cpu/intel/haswell/smmrelocate.c
@@ -36,8 +36,6 @@
 #define UNCORE_EMRRphysBase_MSR 0x2f4
 #define UNCORE_EMRRphysMask_MSR 0x2f5
 
-#define CORE_THREAD_COUNT_MSR 0x35
-
 #define SMRR_SUPPORTED (1<<11)
 #define EMRR_SUPPORTED (1<<12)