> * Revert powerpc mutexes to the version from db4.2, > which actually works. > > which has been uploaded Well, that does indicate that the fast mutexes were broken, but not why.