diff --git a/src/cpu/x86/tsc/delay_tsc.c b/src/cpu/x86/tsc/delay_tsc.c
index 07a4053f41..5aaba90ed9 100644
--- a/src/cpu/x86/tsc/delay_tsc.c
+++ b/src/cpu/x86/tsc/delay_tsc.c
@@ -190,7 +190,7 @@ void udelay(unsigned us)
 	}
 }
 
-#if CONFIG_TSC_MONOTONIC_TIMER && !defined(__PRE_RAM__) && !defined(__SMM__)
+#if CONFIG_TSC_MONOTONIC_TIMER && !defined(__PRE_RAM__)
 #include <timer.h>
 
 static struct monotonic_counter {