Attached patch is a resync of previous patches sent by Ingo and I.
Specifically:

	- create new MAX_USER_RT_PRIO value
	- separate uses of MAX_RT_PRIO vs MAX_USER_RT_PRIO
	- replace use of magic numbers by above
	- additional comments