diff --git a/common/board_f.c b/common/board_f.c
index eac7c5e4c50bc7843e2d508978204b1766c60b70..b40735438b3d9898bee90c16e1c07b12830e917e 100644
--- a/common/board_f.c
+++ b/common/board_f.c
@@ -825,7 +825,7 @@ static init_fnc_t init_sequence_f[] = {
 	/* TODO: can we rename this to timer_init()? */
 	init_timebase,
 #endif
-#if defined(CONFIG_X86) || defined(CONFIG_ARM) || defined(CONFIG_MIPS) || \
+#if defined(CONFIG_ARM) || defined(CONFIG_MIPS) || \
 		defined(CONFIG_BLACKFIN) || defined(CONFIG_NDS32) || \
 		defined(CONFIG_SPARC)
 	timer_init,		/* initialize timer */