Hi Steve, I wonder if you would be able to trigger a binNMU of the powerpc kernel, which would then build with the kernel-package version Manoj uploaded yesterday, and claims fixes this issue. I have no tested it, nor will i be able to do the binNMU upload myself, but i understand the buildd network has nice support for doing this all by itself, so i think this is the best way for now. Friendly, Sven Luther