Why do you post to two bugs list, as well as privately?
The error ONLY occurs with a custom gmp-mparam.h (everything
work fine with the supplied gmp-mparam.h in mpn/x86/p6/mmx)
When you change the code, you're on your own.
Hint: It is always a good idea to read comments around one's changes.
--
Torbjörn