U-Boot hack to boot AArch32 kernels from AArch64 EL2 U-Boot

u-boot_aa32.patch

diff --git a/arch/arm/include/asm/macro.h b/arch/arm/include/asm/macro.h
index ec0171e0e6c..430a9f0298a 100644
--- a/arch/arm/include/asm/macro.h
+++ b/arch/arm/include/asm/macro.h
@@ -325,6 +325,8 @@ lr	.req	x30
 	eret
 
 1:
+	ldr	\tmp, =0x00c00878
+	msr	sctlr_el1, \tmp
 	/* Initialize HCR_EL2 */
 	ldr	\tmp, =(HCR_EL2_RW_AARCH32 | HCR_EL2_HCD_DIS)
 	msr	hcr_el2, \tmp
diff --git a/include/configs/sunxi-common.h b/include/configs/sunxi-common.h
index 7260eb72a40..0a15114b396 100644
--- a/include/configs/sunxi-common.h
+++ b/include/configs/sunxi-common.h
@@ -17,6 +17,9 @@
 
 #ifdef CONFIG_ARM64
 #define CONFIG_SYS_BOOTM_LEN		(32 << 20)
+#define CONFIG_ARMV8_SWITCH_TO_EL1
+#else
+#define CONFIG_SYS_BOOTM_LEN		(32 << 20)
 #endif
 
 /* Serial & console */