They aren't faster than normal mutexes. They're disabled by default for years,
so de facto it's dead code, never used.