Index: kernel/generic/src/console/cmd.c
===================================================================
--- kernel/generic/src/console/cmd.c	(revision e5dbbe53ed99eb1b5d72f9e95e0c690994a56ffb)
+++ kernel/generic/src/console/cmd.c	(revision 04d45129f69d986fd89e6d7719e54cfbf4212bdb)
@@ -600,4 +600,5 @@
 			thread_ready(t);
 			thread_join(t);
+			thread_detach(t);
 		} else
 			printf("Unable to create thread for cpu%u\n", i);