[PATCH] NEWS: Announce support for /dev/userfaultfd