repare kernel/hrtimer.c