sh: Account for cache aliases in flush_icache_range()