Index: kernel/arch/ppc32/include/arch/asm.h
===================================================================
--- kernel/arch/ppc32/include/arch/asm.h	(revision a595f5a870609327cc2a8359997728004f3d034c)
+++ kernel/arch/ppc32/include/arch/asm.h	(revision 644352c77e9f5ec8e47d7af6d0d8a4c3b0277eda)
@@ -58,4 +58,5 @@
 	asm volatile (
 		"mtmsr %[msr]\n"
+		"isync\n"
 		:: [msr] "r" (msr)
 	);
@@ -66,4 +67,6 @@
 	asm volatile (
 		"mtsrin %[value], %[sr]\n"
+		"sync\n"
+		"isync\n"
 		:: [value] "r" ((flags << 16) + (asid << 4) + sr),
 		   [sr] "r" (sr << 28)