Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision fdfb24eeffcfac57ce3048026b204ef70bf13003)
+++ kernel/generic/src/main/kinit.c	(revision d53a5ab03c9908a886b8d7780095b6f74858e51a)
@@ -268,5 +268,5 @@
 		}
 
-		errno_t rc = program_create_from_image((void *) page, namebuf,
+		errno_t rc = program_create_from_image((void *) page, init.tasks[i].size, namebuf,
 		    &programs[i]);