Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 6eef3c4403b57fc01e6b79237e6cc0a6a6a7d016)
+++ kernel/generic/src/proc/scheduler.c	(revision 22dfd380be327d91cff2394cd2f3d9143dd73a90)
@@ -92,5 +92,5 @@
 	else
 		fpu_disable();
-#else
+#elif defined CONFIG_FPU
 	fpu_enable();
 	if (THREAD->fpu_context_exists)
@@ -327,5 +327,5 @@
 		THREAD->kcycles += get_cycle() - THREAD->last_cycle;
 		
-#ifndef CONFIG_FPU_LAZY
+#if (defined CONFIG_FPU) && (!defined CONFIG_FPU_LAZY)
 		fpu_context_save(THREAD->saved_fpu_context);
 #endif