Add <linux/eventfd.h> and expose the eventfd_*() API. This is used by DRM drivers for some time, but the code was commented out so far.
This is a requirement to the following patch to drm-kmod:
https://github.com/freebsd/drm-kmod/pull/358
Sponsored by: The FreeBSD Foundation