Re: [Linaro-acpi] [PATCH v2 6/9] irqchip / gic: Add stacked irqdomain support for ACPI based GICv2 init