Re: [Linaro-uefi] Need for a patch to enable HYP mode in UEFI on Versatile board