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