Re: [Linaro-acpi] [PATCH v9 12/21] ACPI / table: Print GIC information when MADT is parsed