Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 7c5320cc53df744a0d53d60a263d390f3fe84b5e)
+++ kernel/generic/src/console/cmd.c	(revision 111b9b97905c174ce8c3ed7e4e2a890da2be2d66)
@@ -993,7 +993,7 @@
 			printf("cpu%u: ", i);
 			thread_wire(thread, &cpus[i]);
-			thread_ready(thread);
+			thread_ready(thread_ref(thread));
 			thread_join(thread);
-			thread_detach(thread);
+			thread_put(thread);
 		} else
 			printf("Unable to create thread for cpu%u\n", i);