Index: kernel/arch/arm32/include/arch/mm/page.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page.h	(revision d1582b502edcb7bfeef771a2019538f265e7e27c)
+++ kernel/arch/arm32/include/arch/mm/page.h	(revision a7f7b9c3744bb1a355f84327e6b489c2a79f47c5)
@@ -159,4 +159,7 @@
 #endif
 	TTBR0_write(val);
+#if defined(PROCESSOR_ARCH_armv6) || defined(PROCESSOR_ARCH_armv7_a)
+	BPIALL_write(0);
+#endif
 }