Posix timers RCU conversion