Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision f8b69a1e3e20954367be1a21e134d3399e95f7fe)
+++ kernel/generic/src/main/kinit.c	(revision 2cdf5204bbf5aec482525be8dc4342a78d54952a)
@@ -313,6 +313,8 @@
 	 */
 	for (i = 0; i < init.cnt; i++) {
-		if (programs[i].task != NULL)
+		if (programs[i].task != NULL) {
 			program_ready(&programs[i]);
+			task_release(programs[i].task);
+		}
 	}