Re: [Linaro-acpi] [PATCH v3 0/4] Convert GIC to ACPI