Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision fb48a0e907656015204723ad5eead3719f29242e)
+++ kernel/generic/src/main/main.c	(revision 0d29e0cd6488c4ef4fadc92b7d448621df6d7f9f)
@@ -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.");