Regenerate ARM system call wrapper for timerfd