Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision 62ca560dd1468a2f5b122d9ee3473a376d048bae)
+++ kernel/generic/src/main/kinit.c	(revision 3b47db687606b55f2694aaa5c4c6db563b5b61eb)
@@ -253,5 +253,5 @@
 		assert(page);
 		
-		int rc = program_create_from_image((void *) page, namebuf,
+		errno_t rc = program_create_from_image((void *) page, namebuf,
 		    &programs[i]);