[Bug 971695] System hangs & reboots every few days after switching from kernel-default-4.1.13-5.1 to kernel-default-4.1.15-8.1