[PATCH 06/14] hrtimer: don't rewrite same value to expires_next in hrtimer_force_reprogram()