[RFC PATCH 8/9] ntsync: Introduce NTSYNC_IOC_PUT_MUTEX.