Am 02.02.2017 um 07:09 schrieb Michel Dänzer:
[SNIP] OTOH the people running the kernel aren't always the same people building it, so the downside is that this would potentially delay getting X86_PAT enabled.
And exactly for this reason I would rather like to keep the warning. Regards, Christian.

