Questions about hrtimer interrupt handling