We were using the virtual address for cache flushing in
update_mmu_cache, which is ok if the address is in the current mm,
but if it isn't we have to do something different, namely,
flush using the physical address.