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