kernel: disable CONFIG_USERFAULTFD, it is unused