[boost] Re: pool/detail/mutex.hpp patch