Fix x86 shifts.

I don't really understand this change, but it was there in the
pre-gitted libgmp patches.