(In reply to comment #5) > Is it possible that this is another ppc-kernel-on-ppc64-hardware bug?
No - Debian's buildd is a G4.
(In reply to comment #5) on-ppc64- hardware bug?
> Is it possible that this is another ppc-kernel-
No - Debian's buildd is a G4.