Index: kernel/generic/include/time/clock.h
===================================================================
--- kernel/generic/include/time/clock.h	(revision 30a54709ba36bc519d1ad3075734736c27daf220)
+++ kernel/generic/include/time/clock.h	(revision d8e3467358e76057c47d6b02a28d442a944676e6)
@@ -38,5 +38,5 @@
 #include <typedefs.h>
 
-#define HZ		100
+#define HZ  100
 
 /** Uptime structure */