Index: kernel/arch/arm32/src/mm/frame.c
===================================================================
--- kernel/arch/arm32/src/mm/frame.c	(revision c6f1908ecbced40d641beac151a51af7725f49d0)
+++ kernel/arch/arm32/src/mm/frame.c	(revision 5902d6ce53ddca11533588dd42d694d435d530bb)
@@ -88,5 +88,5 @@
 
 	zone_create(ADDR2PFN(config.identity_size), frames, conf,
-	    ZONE_AVAILABLE);
+	    ZONE_AVAILABLE | ZONE_HIGHMEM);
 }