Re: [Linaro-acpi] [PATCHv2] rtsm_ve-aemv8a: correct GIC addresses in APIC table