Index: HelenOS.config
===================================================================
--- HelenOS.config	(revision 8ff9484aad601fa7db94fd3c5c142f445222036b)
+++ HelenOS.config	(revision 435c33b89a901ae91e11be811e030146ad3c5cc7)
@@ -367,5 +367,5 @@
 
 % Lazy FPU context switching
-! [CONFIG_FPU=y] CONFIG_FPU_LAZY (y/n)
+! [CONFIG_FPU=y&PLATFORM!=arm32] CONFIG_FPU_LAZY (y/n)
 
 % Use VHPT