Index: kernel/generic/src/main/version.c
===================================================================
--- kernel/generic/src/main/version.c	(revision cdc433468942845e697cf19ce654c95c544c367e)
+++ kernel/generic/src/main/version.c	(revision 3f932a7eeaf8b09420c71c95d09792b4ef55221a)
@@ -44,13 +44,13 @@
 
 #ifdef REVISION
-	static const char *revision = ", revision " STRING(REVISION);
+static const char *revision = ", revision " STRING(REVISION);
 #else
-	static const char *revision = "";
+static const char *revision = "";
 #endif
 
 #ifdef TIMESTAMP
-	static const char *timestamp = " on " STRING(TIMESTAMP);
+static const char *timestamp = " on " STRING(TIMESTAMP);
 #else
-	static const char *timestamp = "";
+static const char *timestamp = "";
 #endif