Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision fd3a631f83985e624c5a0a2ede9e2d036a8d4f0a)
+++ kernel/generic/src/main/kinit.c	(revision 2319df3fb307138936718465566682581aa7fbf3)
@@ -181,4 +181,5 @@
 		if (init.tasks[i].addr % FRAME_SIZE) {
 			printf("init[%" PRIs "].addr is not frame aligned\n", i);
+			programs[i].task = NULL;
 			continue;
 		}