Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision a064d4fc00192ecc7d42d04ecfb3474585fef055)
+++ kernel/generic/src/console/cmd.c	(revision 41bfc6447bca0a648f115c2d22f120a4f5aca2ab)
@@ -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