Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 8658f89291d5a3b786eda37c379a32acd5ded14f)
+++ kernel/generic/src/proc/scheduler.c	(revision d9c8c81f21850cb9e08890ce3919e1d8e253e810)
@@ -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);