variable name fix to Documentation/rt-mutex-design.txt