From what I understand, this has to be in the userland threading library, unless you're a Windows developer. Wouldn't this functionality be provided by glibc (i.e. pthread_mutex_lock), in Linux? It's not reasonable to expect them to touch that library, whether it is glibc or the Solaris counterpart.
So correct me if I'm wrong but then the solution would be to either hack their own version of mutex_lock or change the call. Actually, both involve changing the call since you'd have to call your new in-house mutex_lock.
That is really not reasonable either. I would expect that they'd have to do it anyway, since MySQL is that mission critical, but the Proper solution following that is to make MySQL dependent on a version of glibc that has a mutex_lock that is patched against the damned Opteron, and issue an immediate patch release.