make timerfd return a u64 and fix the __put_user