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 fadb07a82fc568a02117775b73992d7dc2237c76)
@@ -88,5 +88,5 @@
 
 	zone_create(ADDR2PFN(config.identity_size), frames, conf,
-	    ZONE_AVAILABLE);
+	    ZONE_AVAILABLE | ZONE_HIGHMEM);
 }