Index: kernel/arch/arm32/include/mm/km.h
===================================================================
--- kernel/arch/arm32/include/mm/km.h	(revision db64d094a0c4dae0cc9c95e5bd32538630e50769)
+++ kernel/arch/arm32/include/mm/km.h	(revision 77a69ea2b4d9de163884f75870b8a88e2f717139)
@@ -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);