Re: [Linaro-acpi] [PATCH 3/3] ARM ACPI: Probe for GIC and distributors in MADT callback