[Linaro-acpi] [PATCH v10 11/21] ACPI / table: Print GIC information when MADT is parsed