Given that everything was serialized anyway because of the BKL, remove the other two mutexes -- this should help a lot with performance, but actually, I think I noticed a degradation. Please test!