I asked also on linuxppc-dev, and debian-powerpc -though I admit I never found a reply from the debian list. I'll probably try again. I also intend to post on several more linux/ppc lists (gentoo, arch, ubuntu, opensuse).