Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 7bb6b065122bb8af8404a0355703e35ee8e56a37)
+++ kernel/generic/src/proc/scheduler.c	(revision 6eabb6e6dd5893162a9219e82db2afee1e5b1cb0)
@@ -87,5 +87,5 @@
 	before_thread_runs_arch();
 #ifdef CONFIG_FPU_LAZY
-	if(THREAD==CPU->fpu_owner) 
+	if(THREAD == CPU->fpu_owner) 
 		fpu_enable();
 	else
@@ -97,5 +97,5 @@
 	else {
 		fpu_init();
-		THREAD->fpu_context_exists=1;
+		THREAD->fpu_context_exists = 1;
 	}
 #endif
@@ -128,5 +128,5 @@
 		fpu_context_save(CPU->fpu_owner->saved_fpu_context);
 		/* don't prevent migration */
-		CPU->fpu_owner->fpu_context_engaged=0; 
+		CPU->fpu_owner->fpu_context_engaged = 0;
 		spinlock_unlock(&CPU->fpu_owner->lock);
 		CPU->fpu_owner = NULL;
@@ -147,7 +147,7 @@
 		}
 		fpu_init();
-		THREAD->fpu_context_exists=1;
-	}
-	CPU->fpu_owner=THREAD;
+		THREAD->fpu_context_exists = 1;
+	}
+	CPU->fpu_owner = THREAD;
 	THREAD->fpu_context_engaged = 1;
 	spinlock_unlock(&THREAD->lock);