Index: kernel/arch/arm32/include/arch/mm/page.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page.h	(revision 73abf491fd74e2df668b93ec7b38c266f85bac09)
+++ kernel/arch/arm32/include/arch/mm/page.h	(revision 241ab7e11a995ede41fed730b4b8dab9b700c38c)
@@ -159,4 +159,7 @@
 #endif
 	TTBR0_write(val);
+#if defined(PROCESSOR_ARCH_armv6) || defined(PROCESSOR_ARCH_armv7_a)
+	BPIALL_write(0);
+#endif
 }
 
Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 73abf491fd74e2df668b93ec7b38c266f85bac09)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision 241ab7e11a995ede41fed730b4b8dab9b700c38c)
@@ -170,6 +170,4 @@
 	 */
 	control_reg |= SCTLR_CACHE_EN_FLAG;
-#endif
-#ifdef PROCESSOR_ARCH_armv7_a
 	/*
 	 * ICache coherency is elaborated on in barrier.h.