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