On Wed, 3 Jan 2018, Benjamin Gilbert wrote: > On Wed, Jan 03, 2018 at 11:34:46PM +0100, Thomas Gleixner wrote: > > Can you please send me your .config and a full dmesg ? > > I've attached a serial log from a local QEMU. I can rerun with a higher > loglevel if need be. Thanks! Cc'ing Andy who might have an idea and he's probably more away than I am. Will have a look tomorrow if Andy does not beat me to it. Thanks, tglx