Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 169815e2ba9d5c7d3100ba8cb47424144c4ceb3b)
+++ kernel/generic/src/cpu/cpu.c	(revision 97d3d9db4f40fc7312c2c51cdda6595ccc6210a4)
@@ -84,5 +84,7 @@
 			cpus[i].id = i;
 
+#ifdef CONFIG_FPU_LAZY
 			irq_spinlock_initialize(&cpus[i].fpu_lock, "cpus[].fpu_lock");
+#endif
 			irq_spinlock_initialize(&cpus[i].tlb_lock, "cpus[].tlb_lock");