Re: [Linaro-acpi] [internal RFC 5/6] irqchip / GICv3: Add ACPI support for GICv3+ initialization