Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 1e9d0e3748697f4ee0efc9fdeecb350be20f9957)
+++ kernel/generic/src/main/main.c	(revision 939e9c10884cbd31e50c1de033d58278e04ece27)
@@ -62,4 +62,5 @@
 #include <main/version.h>
 #include <console/kconsole.h>
+#include <console/console.h>
 #include <cpu.h>
 #include <align.h>
@@ -81,5 +82,5 @@
 #include <smp/smp.h>
 #include <ddi/ddi.h>
-#include <console/console.h>
+
 
 /** Global configuration structure. */
@@ -236,6 +237,6 @@
 	LOG_EXEC(slab_enable_cpucache());
 	
-	printf("Detected %" PRIc " CPU(s), %" PRIu64" MB free memory\n",
-		config.cpu_count, SIZE2MB(zone_total_size()));
+	printf("Detected %" PRIc " CPU(s), %" PRIu64" MiB free memory\n",
+	    config.cpu_count, SIZE2MB(zone_total_size()));
 	
 	LOG_EXEC(cpu_init());
@@ -253,6 +254,6 @@
 		for (i = 0; i < init.cnt; i++)
 			printf("init[%" PRIc "].addr=%#" PRIp ", init[%" PRIc
-			    "].size=%#" PRIs "\n", i, init.tasks[i].addr,
-			    i, init.tasks[i].size);
+			    "].size=%#" PRIs "\n", i, init.tasks[i].addr, i,
+			    init.tasks[i].size);
 	} else
 		printf("No init binaries found\n");