Markup fixes.
Add native implementations of eventfd(2) and timerfd(2), compatible withthe Linux interfaces of the same name.