arm: rename flush_cache_user_range to flush_icache_user_range