hrtimer: incorporate feedback from Peter Zijlstra