[PATCH v5 1/2] userfaultfd: do not untag user pointers