userfaultfd: non-cooperative: flush event_wqh at release time