Re: [Linaro-acpi] [RFC PATCH] irqchip / gicv3 / ACPI: Add GICR support via GICC structures