Index: kernel/arch/arm32/include/mm/km.h
===================================================================
--- kernel/arch/arm32/include/mm/km.h	(revision 3b71e84dce17092725ada79fab0ccaf7ded86420)
+++ kernel/arch/arm32/include/mm/km.h	(revision db64d094a0c4dae0cc9c95e5bd32538630e50769)
@@ -39,8 +39,8 @@
 
 #define KM_ARM32_IDENTITY_START		UINT32_C(0x80000000)
-#define KM_ARM32_IDENTITY_SIZE		UINT32_C(0x40000000)
+#define KM_ARM32_IDENTITY_SIZE		UINT32_C(0x70000000)
 
-#define KM_ARM32_NON_IDENTITY_START	UINT32_C(0xc0000000)
-#define KM_ARM32_NON_IDENTITY_SIZE	UINT32_C(0x40000000)
+#define KM_ARM32_NON_IDENTITY_START	UINT32_C(0xf0000000)
+#define KM_ARM32_NON_IDENTITY_SIZE	UINT32_C(0x10000000)
 
 extern void km_identity_arch_init(void);