Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 8658f89291d5a3b786eda37c379a32acd5ded14f)
+++ kernel/generic/src/proc/scheduler.c	(revision bac82eebae5b85ba4fd0a1442b085cfb504958ee)
@@ -709,5 +709,5 @@
 
 		spinlock_lock(&cpus[cpu].lock);
-		printf("cpu%u: address=%p, nrdy=%ld, needs_relink=%" PRIc "\n",
+		printf("cpu%u: address=%p, nrdy=%ld, needs_relink=%" PRIs "\n",
 		    cpus[cpu].id, &cpus[cpu], atomic_get(&cpus[cpu].nrdy),
 		    cpus[cpu].needs_relink);