Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision ae5aa909215804fae89d778dde33d31ad6dbdcaa)
+++ kernel/generic/src/main/kinit.c	(revision 8bfe48e81c36cb4f2aef628c058c67d0583b320b)
@@ -128,5 +128,5 @@
 	
 	if (config.cpu_count > 1) {
-		count_t i;
+		size_t i;
 		
 		/*
@@ -141,5 +141,5 @@
 				thread_ready(thread);
 			} else
-				printf("Unable to create kcpulb thread for cpu" PRIc "\n", i);
+				printf("Unable to create kcpulb thread for cpu" PRIs "\n", i);
 		}
 	}
@@ -169,10 +169,10 @@
 	 * Create user tasks, load RAM disk images.
 	 */
-	count_t i;
+	size_t i;
 	program_t programs[CONFIG_INIT_TASKS];
 	
 	for (i = 0; i < init.cnt; i++) {
 		if (init.tasks[i].addr % FRAME_SIZE) {
-			printf("init[%" PRIc "].addr is not frame aligned\n", i);
+			printf("init[%" PRIs "].addr is not frame aligned\n", i);
 			continue;
 		}
@@ -214,5 +214,5 @@
 			
 			if (rd != RE_OK)
-				printf("Init binary %" PRIc " not used (error %d)\n", i, rd);
+				printf("Init binary %" PRIs " not used (error %d)\n", i, rd);
 		}
 	}
Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision ae5aa909215804fae89d778dde33d31ad6dbdcaa)
+++ kernel/generic/src/main/main.c	(revision 8bfe48e81c36cb4f2aef628c058c67d0583b320b)
@@ -154,5 +154,5 @@
 	
 	/* Avoid placing stack on top of init */
-	count_t i;
+	size_t i;
 	for (i = 0; i < init.cnt; i++) {
 		if (PA_overlaps(config.stack_base, config.stack_size,
@@ -234,5 +234,5 @@
 	LOG_EXEC(slab_enable_cpucache());
 	
-	printf("Detected %" PRIc " CPU(s), %" PRIu64" MiB free memory\n",
+	printf("Detected %" PRIs " CPU(s), %" PRIu64" MiB free memory\n",
 	    config.cpu_count, SIZE2MB(zone_total_size()));
 	
@@ -248,7 +248,7 @@
 	
 	if (init.cnt > 0) {
-		count_t i;
+		size_t i;
 		for (i = 0; i < init.cnt; i++)
-			LOG("init[%" PRIc "].addr=%#" PRIp ", init[%" PRIc
+			LOG("init[%" PRIs "].addr=%#" PRIp ", init[%" PRIs
 			    "].size=%#" PRIs, i, init.tasks[i].addr, i,
 			    init.tasks[i].size);