Update bignum_ppc.c