Re: [TF-A] GICV3: system interface EOI ordering RFC