[PATCH v15 16/17] vfio/type1, arm64: untag user pointers in vaddr_get_pfn