Bug#826796: Request for a new: linux-image-powerpc64-4K

[Mathieu Malaterre <malat@debian.org>]

Package: src:linux
Version: 4.6.1-1

Would it be possible to ship an alternate ppc64 kernel build without
the 64K page option ? This would allow us to provide a (non-default)
ppc64 kernel which would work with old G5 Mac with nvidia card.

Currently the situation is described in:

https://bugs.debian.org/767969

---

A team member of Nouveau is apparently working toward a fix:

https://bugs.freedesktop.org/show_bug.cgi?id=94757#c6

However I fear it may not be ready in time for stretch.

This is why I am asking for a -possibly temporary- alternative ppc64 kernel.

thanks