revert varias modificaciones en hrtimer.c