As discussed earlier on #ubuntu-kernel, here's a patch that seems to solve the
problem with the unsupported ppc64 flavour. The problem it solves is simple:
ppc64 does not exist and maint-getabis fails.
I'm not sure if this is the best way to solve the problem; probably it would be
better to just remove the references to ppc64 from the debian control files on
Luis Henriques (1):
maint-getabis: added ppc64 to the patterns list to be ignored