Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision a14f3465b7d65eb909b06cf7a9a15f60743bcabe)
+++ boot/arch/arm32/src/mm.c	(revision c9d0642d5b54d3650dac0851437fedd3680a7351)
@@ -59,5 +59,5 @@
 	const unsigned long address = section << PTE_SECTION_SHIFT;
 	if (address >= BBXM_RAM_START && address < BBXM_RAM_END)
-		return 1;
+		return 0;
 #endif
 	return 0;