Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 2f2beb4545e75c18005ac34da7aad5e5290e68ee)
+++ kernel/generic/src/proc/scheduler.c	(revision f7bb6d1a278f1b4a8dc824581598c48556371dca)
@@ -64,4 +64,6 @@
 #include <stacktrace.h>
 
+//#define	SCHEDULER_VERBOSE 1
+
 static void scheduler_separated_stack(void);
 
@@ -518,5 +520,5 @@
 #ifdef SCHEDULER_VERBOSE
 	printf("cpu%u: tid %" PRIu64 " (priority=%d, ticks=%" PRIu64 
-	    ", nrdy=%ld)\n", CPU->id, THREAD->tid, THREAD->priority,
+	    ", nrdy=%d)\n", CPU->id, THREAD->tid, THREAD->priority,
 	    THREAD->ticks, atomic_get(&CPU->nrdy));
 #endif