Implement eventfd system call.
Differential Revision: https://reviews.freebsd.org/D1094 In collaboration with: Jilles Tjoelker