Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision ab4bace49a15f19c4af11adbd750419e62886c26)
+++ kernel/generic/src/main/kinit.c	(revision e3a3a61956c64d760a4a1bdd93b21d0838823601)
@@ -94,5 +94,4 @@
 void kinit(void *arg)
 {
-
 #if defined(CONFIG_SMP) || defined(CONFIG_KCONSOLE)
 	thread_t *thread;
@@ -217,5 +216,5 @@
 		}
 	}
-	
+
 	/*
 	 * Run user tasks.
@@ -225,5 +224,5 @@
 			program_ready(&programs[i]);
 	}
-	
+
 #ifdef CONFIG_KCONSOLE
 	if (!stdin) {