Fixes for 64-bit in src/ppc/code-stubs-ppc.cc