[PATCH] hrtimer: deinline mktime and set_normalized_timespec