signals: Use hrtimer for sigtimedwait()