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.