linux-user: Rewrite mmap_find_vma() to work fine on 64-bit hosts with 32-bit targets