kaffe/config/powerpc/powerpc32
