Index: src/time/clock.c
===================================================================
--- src/time/clock.c	(revision 70527f178e75c4d7b241a68de96deb60887233de)
+++ src/time/clock.c	(revision ff9f858e06ba17699b8a6270f956c6f6bb1efe94)
@@ -39,8 +39,5 @@
 #include <arch.h>
 #include <list.h>
-
-#ifdef __SMP__
-#include <arch/smp/atomic.h>
-#endif
+#include <arch/atomic.h>
 
 /** Clock routine