Re: [Linaro-uefi] [edk2] [PATCH v2 1/2] ArmPkg/ArmGicLibArchLib: common check for GICv3