Index: kernel/generic/src/main/version.c
===================================================================
--- kernel/generic/src/main/version.c	(revision 9dae191e774f517d5430fc726e4aef5787b1fcd0)
+++ kernel/generic/src/main/version.c	(revision 37c9fc83e83f11d2e1c297a43ae9c76ab8d86b2d)
@@ -59,5 +59,5 @@
 {
 	printf("%s, release %s (%s)%s\nBuilt%s for %s\n%s\n",
-		project, release, name, revision, timestamp, arch, copyright);
+	    project, release, name, revision, timestamp, arch, copyright);
 }