Re: [Linaro-acpi] [PATCH v4 10/18] ACPI / table: Print GIC information when MADT is parsed