[Linaro-uefi] UEFI switch to EL2