Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 6677acb49e48af821edea6da80b06fe4a5b68dba)
+++ kernel/generic/src/proc/scheduler.c	(revision 3b6854248cddcb5c644dde7380ebb48393b90942)
@@ -686,10 +686,6 @@
 			continue;
 
-		/* Technically a data race, but we don't really care in this case. */
-		int needs_relink = cpus[cpu].relink_deadline - cpus[cpu].current_clock_tick;
-
-		printf("cpu%u: address=%p, nrdy=%zu, needs_relink=%d\n",
-		    cpus[cpu].id, &cpus[cpu], atomic_load(&cpus[cpu].nrdy),
-		    needs_relink);
+		printf("cpu%u: address=%p, nrdy=%zu\n",
+		    cpus[cpu].id, &cpus[cpu], atomic_load(&cpus[cpu].nrdy));
 
 		unsigned int i;