Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision a064d4fc00192ecc7d42d04ecfb3474585fef055)
+++ kernel/generic/src/console/cmd.c	(revision efed95a34b7293205857407388da4ff8ff9a92f1)
@@ -1004,5 +1004,5 @@
 			printf("cpu%u: ", i);
 			thread_wire(thread, &cpus[i]);
-			thread_ready(thread_ref(thread));
+			thread_start(thread);
 			thread_join(thread);
 		} else