Index: defaults/ppc32/Makefile.config
===================================================================
--- defaults/ppc32/Makefile.config	(revision d8bb8213173f9665d9d1f2f90ef7d87a8eb96e7c)
+++ defaults/ppc32/Makefile.config	(revision b0ed2f43b8b81d685f04f4ee202eec4093c0b580)
@@ -7,4 +7,7 @@
 # Compiler
 COMPILER = gcc_cross
+
+# Lazy FPU context switching
+CONFIG_FPU_LAZY = n
 
 # Debug build