Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision fb48a0e907656015204723ad5eead3719f29242e)
+++ kernel/generic/src/main/main.c	(revision 89128f37525649ee8a7c2d6155cdc0a5b27244e9)
@@ -262,6 +262,6 @@
 	 * Create the first thread.
 	 */
-	thread_t *kinit_thread
-		= thread_create(kinit, NULL, kernel, 0, "kinit", true);
+	thread_t *kinit_thread =
+	    thread_create(kinit, NULL, kernel, 0, "kinit", true);
 	if (!kinit_thread)
 		panic("Cannot create kinit thread.");