On Thu, Dec 29, 2016 at 01:20:01PM +0100, Martin Husemann wrote: > This may be driver specific; can you capture the console output right before > a reboot or use a serial console? And: are you using a DIAGNOSTIC kernel? Martin