[boost] pool/detail/mutex.hpp patch