Index: kernel/arch/arm32/include/mm/km.h
===================================================================
--- kernel/arch/arm32/include/mm/km.h	(revision d56382d76ccb7c32d44dba5afaf11a973ee2e2bb)
+++ kernel/arch/arm32/include/mm/km.h	(revision 8356e59c94e3caae7fd77f2539fdd3a47c273964)
@@ -42,5 +42,9 @@
 
 #define KM_ARM32_NON_IDENTITY_START	UINT32_C(0xf0000000)
-#define KM_ARM32_NON_IDENTITY_SIZE	UINT32_C(0x10000000)
+/*
+ * 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)
 
 extern void km_identity_arch_init(void);