futex: priority boosting, take 1

Helper vars and code to implement priority (de)boosting for
helper tasks. Try to be compatible with rt_mutexes madness.