Paul, On Mon, 24 Sep 2018, Paul Menzel wrote: > Am 21.09.2018 um 00:51 schrieb Thomas Gleixner: > > Can you please apply the patch below, and provide full dmesg of a seabios > > and a grub boot along with the page table files for each? > > I applied the patch on top of 4.19-rc5. Please find all the files attached. Sorry for the delay and thanks for the data. A quick diff did not reveal anything obvious. I'll have a closer look and we probably need more (other) information to nail that down. Thanks, tglx
