On Sun, Jan 08, 2017 at 01:22:55AM +0100, Rafael J. Wysocki wrote: > Is an IVRS table actually present on this machine? Like this? [ 0.000000] ACPI: IVRS 0x000000009CFD6000 0000D0 (v02 AMD AGESA 00000001 AMD 00000000) -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply. -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html