[Arm-dev] [PATCH v1 62/87] ACPI, GICV3+: Add support for GICv3+ initialization.