Hrtimer: introduce effective timer slack