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