On Thu, Dec 29, 2016 at 01:20:46PM +0100, Martin Husemann wrote: > 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? Yes. Thomas