i'm running kernel 4.1.13-5.1 (in general, my system is up-to-date with the standard repos). i'll give that a go, but have no way to actually trigger this crash/reboot - it just happens (twice today, maybe once yesterday, and i don't remember before that - i don't know why the change).