Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 46c1234f2aa8cdbd4f1079d95f37710f7ecade74)
+++ kernel/generic/src/main/kinit.c	(revision 1e9d0e3748697f4ee0efc9fdeecb350be20f9957)
@@ -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);
 		}
 	}
Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 46c1234f2aa8cdbd4f1079d95f37710f7ecade74)
+++ kernel/generic/src/proc/scheduler.c	(revision 1e9d0e3748697f4ee0efc9fdeecb350be20f9957)
@@ -452,6 +452,6 @@
 			 * Entering state is unexpected.
 			 */
-			panic("tid%" PRIu64 ": unexpected state %s\n", THREAD->tid,
-			    thread_states[THREAD->state]);
+			panic("tid%" PRIu64 ": unexpected state %s\n",
+			    THREAD->tid, thread_states[THREAD->state]);
 			break;
 		}
@@ -505,7 +505,7 @@
 
 #ifdef SCHEDULER_VERBOSE
-	printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 ", nrdy=%ld)\n",
-	    CPU->id, THREAD->tid, THREAD->priority, THREAD->ticks,
-	    atomic_get(&CPU->nrdy));
+	printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 
+	    ", nrdy=%ld)\n", CPU->id, THREAD->tid, THREAD->priority,
+	    THREAD->ticks, atomic_get(&CPU->nrdy));
 #endif	
 
@@ -641,7 +641,7 @@
 				spinlock_lock(&t->lock);
 #ifdef KCPULB_VERBOSE
-				printf("kcpulb%u: TID %" PRIu64 " -> cpu%u, nrdy=%ld, "
-				    "avg=%ld\n", CPU->id, t->tid, CPU->id,
-				    atomic_get(&CPU->nrdy),
+				printf("kcpulb%u: TID %" PRIu64 " -> cpu%u, "
+				    "nrdy=%ld, avg=%ld\n", CPU->id, t->tid,
+				    CPU->id, atomic_get(&CPU->nrdy),
 				    atomic_get(&nrdy) / config.cpu_active);
 #endif