locking/rtmutex: Use the correct rtmutex debugging config option