hrtimers: fix warning in kernel/hrtimer.c