ppc: fix some pointer to integer casts