[TF-A] Re: RFE: GIC workaround for NVIDIA erratum T241-FABRIC-4