Index: kernel/arch/ppc32/src/fpu_context.S
===================================================================
--- kernel/arch/ppc32/src/fpu_context.S	(revision a595f5a870609327cc2a8359997728004f3d034c)
+++ kernel/arch/ppc32/src/fpu_context.S	(revision f6f2a5f78d6309352677445e77e586adee7185ec)
@@ -119,6 +119,6 @@
 fpu_context_restore:
 	lfd fr0, FPU_CONTEXT_OFFSET_FPSCR(r3)
-	mtfsf 7, fr0
-
+	mtfsf 0xff, fr0
+	
 	FPU_CONTEXT_LOAD r3
 	
@@ -128,10 +128,12 @@
 	mfmsr r0
 	ori r0, r0, MSR_FP
-
+	
 	# Disable FPU exceptions
 	li r3, MSR_FE0 | MSR_FE1
 	andc r0, r0, r3
-
+	
 	mtmsr r0
+	isync
+	
 	blr
 
@@ -140,4 +142,5 @@
 	ori r0, r0, MSR_FP
 	mtmsr r0
+	isync
 	blr
 
@@ -147,4 +150,4 @@
 	andc r0, r0, r3
 	mtmsr r0
+	isync
 	blr
-