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