49ae82a08e
From the ACPI 6.5 specification (https://uefi.org/specs/ACPI/6.5/05_ACPI_Software_Programming_Model.html#gic-cpu-interface-gicc-structure) : "If all of the GIC Redistributors are in the always-on power domain, GICR structures should be used to describe the Redistributors instead, and this field must be set to 0." To comply with this statement, zero GICC.GICRBaseAddress when GICR structures are present in the MADT. Signed-off-by: Sarah Walker <Sarah.Walker2@arm.com>