tick/nohz: Improve tick_nohz_get_next_hrtimer() kerneldoc