TOMOYO: Remove unused mutex.