Index: kernel/generic/include/fpu_context.h
===================================================================
--- kernel/generic/include/fpu_context.h	(revision 9a5b556abb26634c82cbd3954b0fdb4db62b828e)
+++ kernel/generic/include/fpu_context.h	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
@@ -36,5 +36,4 @@
 #define __FPU_CONTEXT_H__
 
-
 #include <arch/fpu_context.h>
 #include <typedefs.h>
Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 9a5b556abb26634c82cbd3954b0fdb4db62b828e)
+++ kernel/generic/src/proc/scheduler.c	(revision e5ecc02b4e8dc0f4c95588b0f1601d1986173b13)
@@ -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);