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