Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 058b021e12166270a97cf3aaf8f91a30aedc513c)
+++ kernel/generic/src/main/kinit.c	(revision 7bf7ef77b559bde9e785ddbc26c19e06dd0ff54c)
@@ -181,5 +181,5 @@
 				ipc_phone_0 = &utask->answerbox;
 		} else {
-			int rd = init_rd((void *) init.tasks[i].addr);
+			int rd = init_rd((rd_header *) init.tasks[i].addr, init.tasks[i].size);
 			
 			if (rd != RE_OK)