Make max_user_rt_prio configurable