Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 6c68b975fa0cd622fb0bc38e292185539102f597)
+++ generic/src/main/kinit.c	(revision 5753fbb46440d4f6fb6f2bbc7cfe0f3b24ba615a)
@@ -163,5 +163,8 @@
 		panic("vm_area_create: vm_text\n");
 	vm_area_map(a, m);
-	memcpy((void *) PA2KA(a->mapping[0]), (void *) utext, utext_size < PAGE_SIZE ? utext_size : PAGE_SIZE);
+	if (config.init_size > 0)
+		memcpy((void *) PA2KA(a->mapping[0]), (void *) config.init_addr, config.init_size < PAGE_SIZE ? config.init_size : PAGE_SIZE);
+	else
+		memcpy((void *) PA2KA(a->mapping[0]), (void *) utext, utext_size < PAGE_SIZE ? utext_size : PAGE_SIZE);
 
 	/*