local_fiq_disable();
setup_mm_for_reboot(0); /* mode is not used, so just pass 0*/
flush_cache_all();
-#if 0
+#ifdef CONFIG_OUTER_CACHE
outer_flush_all();
outer_disable();
#endif
cpu_proc_fin();
-#if 0
+#ifdef CONFIG_OUTER_CACHE
outer_inv_all();
#endif
flush_cache_all();