This commit keeps all mutexes boxed on all platforms, but makes it trivial to remove the box on some platforms later.