Re: [Linaro-uefi] [edk2] GicV3 non-legacy support