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