Re: [Linaro-acpi] [PATCH v9 16/21] irqchip: Add GICv2 specific ACPI boot support