Re: [Linaro-uefi] A GIC problem on UEFI