powerpc: make process.c suitable for both 32-bit and 64-bit