kaffe/config/powerpc/powerpc64
