Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision 0acd3399ba1eed434dfaab9035233086c868ad07)
+++ boot/arch/arm32/src/mm.c	(revision 9b6e40bc670bbb7b48132cfe7ed2a581d808dc34)
@@ -134,12 +134,11 @@
 		
 #ifdef PROCESSOR_ARCH_armv7_a
-		/* Read Auxiliary control register */
-		"mrc p15, 0, r0, c1, c0, 1\n"
-		/* Mask to enable L2 cache */
-		"ldr r1, =0x00000002\n"
-		"orr r0, r0, r1\n"
-		/* Store Auxiliary control register */
-		"mrc p15, 0, r0, c1, c0, 1\n"
+		/* armv7 no longer requires cache entries to be invalid
+		 * upon reset, do this manually */
+		/* Invalidate ICache */
+		"mcr p15, 0, r0, c7, c5, 6\n"
+		//TODO: Invalidate data cache
 #endif
+
 		/* Current settings */
 		"mrc p15, 0, r0, c1, c0, 0\n"