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