[PATCH 10/14] hrtimer: remove clock_was_set_delayed() from hrtimer.h