hrtimer: make the futex() system call use the per process slack value