[Linaro-acpi] [PATCH v4 07/10] irqchip / GICv3 / ACPI: Add GICR support via GICC structures