Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision d4b55422d35d65c648d6bb91798e0f57497dc56c)
+++ kernel/generic/src/main/kinit.c	(revision c55dd5898c757f39330d775b262957e173319714)
@@ -181,7 +181,7 @@
 				ipc_phone_0 = &utask->answerbox;
 		} else {
-			bool rd = init_rd((void *) init.tasks[i].addr);
+			int rd = init_rd((void *) init.tasks[i].addr);
 			
-			if (!rd)
+			if (rd != RE_OK)
 				printf("Init binary %zd not used.\n", i);
 		}