On 03/27/2015 08:07 AM, Borislav Petkov wrote:>> xtensions (MPX) disabled\n");> WARNING: printk() should include KERN_ facility level> #52: FILE: arch/x86/kernel/cpu/common.c:186:> + printk("nompx: Intel Memory Protection Extensions (MPX) disabled\n");> > checkpatch is sometimes right.Yup, I'll fix it up.