gmp/mpn/powerpc32
