Index: kernel/arch/arm32/include/arch/mm/km.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/km.h	(revision 0abc2aea144199fee5fb2b5b1ffcf9f0ac6528ce)
+++ kernel/arch/arm32/include/arch/mm/km.h	(revision a3c6a858cfa093197f83dfc3dbb82eb7f88d445b)
@@ -40,12 +40,12 @@
 
 #define KM_ARM32_IDENTITY_START		UINT32_C(0x80000000)
-#define KM_ARM32_IDENTITY_SIZE		UINT32_C(0x70000000)
+#define KM_ARM32_IDENTITY_SIZE		UINT32_C(0x40000000)
 
-#define KM_ARM32_NON_IDENTITY_START	UINT32_C(0xf0000000)
+#define KM_ARM32_NON_IDENTITY_START	UINT32_C(0xc0000000)
 /*
  * The last virtual megabyte contains the high exception vectors (0xFFFF0000).
  * Do not include this range into kernel non-identity.
  */
-#define KM_ARM32_NON_IDENTITY_SIZE	UINT32_C(0x0ff00000)
+#define KM_ARM32_NON_IDENTITY_SIZE	UINT32_C(0x3ff00000)
 
 extern void km_identity_arch_init(void);