Re: [Linaro-uefi] Any plans to support GICv3 on UEFI