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