Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision f5935ed33be88b71c675e1e444f606d26789d549)
+++ generic/src/main/kinit.c	(revision 7febdde5cdd33a88f9d541ba39538ee872704873)
@@ -145,5 +145,5 @@
 		 */
 		
-		if (KA2PA(config.init_addr) % FRAME_SIZE)
+		if (config.init_addr % FRAME_SIZE)
 			panic("config.init_addr is not frame aligned");
 		
@@ -162,5 +162,8 @@
 		 */
 		
-		frame = KA2PA(config.init_addr);
+		frame = config.init_addr;
+		if (IS_KA(frame))
+			frame = KA2PA(frame);
+
 		frames = config.init_size / FRAME_SIZE;
 		if (config.init_size % FRAME_SIZE > 0)