[PATCH] posix-timers: fix posix_cpu_timer_set() vs run_posix_cpu_timers() race