Index: kernel/generic/src/cpu/cpu.c
===================================================================
--- kernel/generic/src/cpu/cpu.c	(revision 169815e2ba9d5c7d3100ba8cb47424144c4ceb3b)
+++ kernel/generic/src/cpu/cpu.c	(revision ec8ef12310886f8dae440b616a2f7eb60602d141)
@@ -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");