[PATCH] hrtimers: fix reprogramming SMP race