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