[TF-A] Re: gicv2.h vs gicv3.h conflict