Index: kernel/arch/arm32/src/cpu/cpu.c
===================================================================
--- kernel/arch/arm32/src/cpu/cpu.c	(revision 36e5eb38a0105c37be99d9c1323728a96b5f875f)
+++ kernel/arch/arm32/src/cpu/cpu.c	(revision a640bc16cd3d7e9a79be3f918bb85b4f75d7d096)
@@ -134,5 +134,7 @@
 	);
 #endif
+#ifdef CONFIG_FPU
 	fpu_setup();
+#endif
 }