Add support for the timerfd_*() API.

Resolves #1079.