Re: [Linaro-acpi] [PATCH v2 3/5] irqchip/gic: Convert the GIC driver to ACPI probing