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