Re: [Linaro-uefi] UEFI switch to EL2