Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision cbc534cf92ce35b6ee6f37943d685bdc4b1b70d8)
+++ kernel/generic/src/main/kinit.c	(revision 1cac8753dba1dcd1e470087cba35d1d4f93975a2)
@@ -264,4 +264,6 @@
 				    " present.", i);
 			}
+
+			programs[i].task = NULL;
 			continue;
 		}
