Yes, we revert that commit and build our own kernel. The fix was available upstream, but debian haven't picked up yet.
Jeff On Tue, Sep 13, 2016 at 3:59 AM, Thomas Martin <tmartin...@gmail.com> wrote: > Hello Jeff, > > I'm having the same issue you had [1], could you please tell me if you fixed > it? > > Did you had to build your own kernel to fix this issue? > > > Thanks, > > Thomas > > [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=831014#10