[PATCH 07/10] rtmutex: Remove unused argument from rt_mutex_proxy_unlock()