I downloaded the sources from kernel.org, but there is no arch/ppc64 ... I bet I'm missing something obvious, but I cannot find it.Yep, ppc64 has folded into the new shared 32/64-bit powerpc arch (arch/powerpc), and is now controlled by config options therein.
Now that I had finally learned how to compile ppc64 with make-kpkg ... So, instead of: make-kpkg --config oldconfig --subarch powerpc64 --initrd kernel-image what should I do? Just leaving out the --subarch seems to work. I hope that's it. Eduardo.