[PATCH, v10 1/3] hrtimer: introduce effective timer slack