sh: Fix up flush_cache_vmap() on SMP.