Comment # 23 on bug 1039737 from Jochen Hansper

(In reply to Vlastimil Babka from comment #22)
> > Unfortunately, I will have to reboot over the weekend.
> 
> Probably shouldn't matter. Thanks for testing.

Rebooted after 160h uptime, without errors. Still running the patched kernel.

> Sigh, hopefully not a case where added debugging obscures the bug.

If you want to try something else, I'll try to test it. Thanks a lot for
looking into this.

If I understand correctly, then setting nogbpages might work around the bug on
an unpatched kernel, too?