doing armv7_mmu_cache_flush