MFC r267212:
Make WITNESS happy by giving USB mutexes different names.