From af92394efc8be73edd2301fc15f9b57fd430cd18 Mon Sep 17 00:00:00 2001
From: Li Liu <john.liuli@huawei.com>
Date: Tue, 1 Jul 2014 18:01:50 +0800
Subject: [PATCH] ARM: virt: fix wrong HSCTLR.EE bit setting

HSCTLR.EE is defined as bit[25] referring to arm manual
DDI0606C.b(p1590).

Reviewed-by: Marc Zyngier <marc.zyngier@arm.com>
Signed-off-by: Li Liu <john.liuli@huawei.com>
Signed-off-by: Marc Zyngier <marc.zyngier@arm.com>
---
Reading git-format-patch failed