timerfd: wire the new timerfd API to the x86 family