On Tue, 26 Sep 2017, kernel test robot wrote: > kern :info : [ 0.036266] ACPI: Core revision 20170728 > kern :err : [ 0.040010] ACPI Error: Table [DMAR] is not invalidated > during early boot stage (20170728/tbxface-196)
Looks like I missed the following patch: http://lkml.kernel.org/r/[email protected] I'll apply it once you confirm. Thanks, tglx

