[PATCH] posix timers: RCU optimization for clock_gettime()