powerpc/powerpc32/power4