[PATCH 08/14] hrtimer: remove dummy definition of hrtimer_force_reprogram()