[PATCH] rt-mutex: fixup rt-mutex debug code