Index: src/main/main.c
===================================================================
--- src/main/main.c	(revision 8262010e7e7fe13508b9f3ccd85fc91dc8978f35)
+++ src/main/main.c	(revision 7eade4519d32ca5af0efca0a7b73c67a90d6167f)
@@ -104,10 +104,4 @@
 	arch_init();
 
-
-	printf("%s, %s\n", project, copyright);
-
-	printf("%L: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n",
-		config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024);
-
 	heap_init(config.base + hardcoded_ktext_size + hardcoded_kdata_size, CONFIG_HEAP_SIZE);
 	frame_init();
@@ -115,4 +109,11 @@
 	tlb_init();
 
+	arch_post_mm_init();
+
+	printf("%s, %s\n", project, copyright);
+
+	printf("%L: hardcoded_ktext_size=%dK, hardcoded_kdata_size=%dK\n",
+		config.base, hardcoded_ktext_size/1024, hardcoded_kdata_size/1024);
+
 	#ifdef __SMP__
 	mp_init();	/* Multiprocessor */