[PATCH kernel-4.19 1/2] userfaultfd: fix BUG_ON() in userfaultfd_release()