Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 2cb5e6478ff8e1d5cf947da6398d6e2d496c27e4)
+++ generic/src/main/kinit.c	(revision 31e8ddd3646b281263eac10f5b0878e1700ccd12)
@@ -109,4 +109,5 @@
 		}
 		thread_join(t);
+		thread_detach(t);
 	}
 #endif /* CONFIG_SMP */