Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 1152705147c4ffcf626525e4a252d76925aee2dc)
+++ kernel/generic/src/proc/scheduler.c	(revision 21be46a6b9bbebc1f385744f5b49b3d39d3837fd)
@@ -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