Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision 71307541fd5ee1f557ff938fd3f52195abde393b)
+++ kernel/generic/src/console/cmd.c	(revision a064d4fc00192ecc7d42d04ecfb3474585fef055)
@@ -1006,5 +1006,4 @@
 			thread_ready(thread_ref(thread));
 			thread_join(thread);
-			thread_put(thread);
 		} else
 			printf("Unable to create thread for cpu%u\n", i);