Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 29938b2ecffc7146338693259e6bc86d0c91fca4)
+++ kernel/generic/src/mm/frame.c	(revision ddcc8a0d63f8ff64bcff9151c6d65b103343d22c)
@@ -1232,5 +1232,5 @@
 	
 	/* Tell the architecture to create some memory */
-	frame_arch_init();
+	frame_low_arch_init();
 	if (config.cpu_active == 1) {
 		frame_mark_unavailable(ADDR2PFN(KA2PA(config.base)),
@@ -1255,4 +1255,5 @@
 		frame_mark_unavailable(0, 1);
 	}
+	frame_high_arch_init();
 }