hrtimer: Fix hrtimer_is_queued() hole