Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision 83742a46cfd6908fb9c4649eafb0351be083ae90)
+++ 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;