Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision 63b2be859ccef83d8050c0ad9b96d7dc5fa9ec75)
+++ boot/arch/arm32/src/mm.c	(revision f69ac6ca66afa6de17eead63bb2df5748f4658c3)
@@ -145,5 +145,7 @@
 		"orr r0, r0, r1\n"
 
-		/* Flush the TLB */
+		/* Invalidate the TLB content before turning on the MMU.
+		 * ARMv7-A Reference manual, B3.10.3
+		 */
 		"mcr p15, 0, r0, c8, c7, 0\n"