Comment 13 for bug 1715519

I was able to install the ppc64el 4.4.0-117 kernel from xenial-proposed. It boots and passes at least enough traffic to make an interactive ssh session function.

I'm having some DKMS issues, however, which are preventing me from validating the patch prevents crash as expected (one of the modules we need has BUILD_EXCLUSIVE for 4.8 and 4.10 only). I am working with the IBM development team who publishes these modules to get that resolved ASAP (they were surprised by this, so we are waiting for answers from individual engineers, probably Monday).