Index: kernel/arch/arm32/src/mm/frame.c
===================================================================
--- kernel/arch/arm32/src/mm/frame.c	(revision 3b71e84dce17092725ada79fab0ccaf7ded86420)
+++ kernel/arch/arm32/src/mm/frame.c	(revision c17c4e284761416fa6d2faf3f043c5f40e30f5f2)
@@ -60,7 +60,7 @@
 	} else {
 		pfn_t conf = zone_external_conf_alloc(SIZE2FRAMES(size));
-
-		zone_create(ADDR2PFN(base), SIZE2FRAMES(size), conf,
-		    ZONE_AVAILABLE | ZONE_HIGHMEM);
+		if (conf != 0)
+			zone_create(ADDR2PFN(base), SIZE2FRAMES(size), conf,
+			    ZONE_AVAILABLE | ZONE_HIGHMEM);
 	}
 	
