[tip: locking/urgent] locking/rtmutex: Use the correct rtmutex debugging config option