prctl: adds PR_SET_TIMERSLACK_PID for setting timer slack of an arbitrary thread - from Grouper