[PATCH] typo fixes for rt-mutex-design.txt