Bug#865746: Fixed with new kernel

[Jon Kåre Hellan]

Fixed for us with the kernel announced here:

https://lists.debian.org/debian-security-announce/2017/msg00160.html

which fixes bug 865303

Thanks!

Jon