Index: include/arch.h
===================================================================
--- include/arch.h	(revision cb4b61d90a7db05768043294b12025328b4f7a02)
+++ include/arch.h	(revision 25f62cdf60b1b680ae1139ed1f9e26ec50ee224f)
@@ -41,4 +41,5 @@
 
 extern void arch_init(void);
+extern void arch_post_mm_init(void);
 extern void calibrate_delay_loop(void);