[ros-diffs] [sginsberg] 35567: - Add THREAD_TERMINATE_HELD_MUTEX bugcode and make use of it