Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 49eec936c4647e75cf41d75bed65ae4318f975a8)
+++ kernel/generic/src/main/kinit.c	(revision 57edf88766c6a50640bebb11c0cb6b11bd697ffc)
@@ -147,5 +147,6 @@
 	 * Create kernel console.
 	 */
-	t = thread_create(kconsole, (void *) "kconsole", TASK, 0, "kconsole", false);
+	t = thread_create(kconsole, (void *) "kconsole", TASK, 0, "kconsole",
+	    false);
 	if (t)
 		thread_ready(t);
@@ -167,6 +168,6 @@
 		}
 
-		threads[i] = thread_create_program(
-			(void *) init.tasks[i].addr, "uspace");
+		threads[i] = thread_create_program((void *) init.tasks[i].addr,
+		    "uspace");
 		
 		if (threads[i] != NULL) {
@@ -184,5 +185,6 @@
 			
 			if (rd != RE_OK)
-				printf("Init binary %" PRIc " not used, error code %d.\n", i, rd);
+				printf("Init binary %" PRIc " not used, error "
+				    "code %d.\n", i, rd);
 		}
 	}