Index: kernel/arch/arm32/src/mm/page.c
===================================================================
--- kernel/arch/arm32/src/mm/page.c	(revision 6250c37234323890b9e9a2f06fea02651a75d6c2)
+++ kernel/arch/arm32/src/mm/page.c	(revision c40e6ef70f0e9c43e2f42c99ec4a98b405e12653)
@@ -68,4 +68,6 @@
 #error "Only high exception vector supported now"
 #endif
+	cur = ALIGN_DOWN(0x50008010, FRAME_SIZE);
+	page_mapping_insert(AS_KERNEL, PA2KA(cur), cur, flags);
 
 	page_table_unlock(AS_KERNEL, true);