After about a month without any reboot there was a crash with the 4.7 backports kernel too
Unfortunately, when I upgraded the kernel, the linux-image-amd64-dbg package wasn't automatically installed with it so kdump hasn't given me a stack trace for the crash. Therefore, I don't know if it was the same as this crash. I've now updated the box to stretch and tried to get the debug symbols for the 4.8 kernel but I'm not sure how to get them: https://lists.debian.org/debian-devel/2017/01/msg00416.html Regards, Daniel