Re: [Linaro-acpi] [patch v11 16/23] irqchip: Add GICv2 specific ACPI boot support