Index: arch/ia32/src/fpu_context.c
===================================================================
--- arch/ia32/src/fpu_context.c	(revision eb436797a05ddb2e8f632c19f915e9e96978e088)
+++ arch/ia32/src/fpu_context.c	(revision 87be9cfb65b571df193dcb18b85b9e41323761fa)
@@ -42,5 +42,9 @@
 {
 	if(THREAD==CPU->fpu_owner) {reset_TS_flag(); }
-	else {set_TS_flag(); (CPU->fpu_owner)->fpu_context_engaged=1;}
+	else 
+	{
+		set_TS_flag(); 
+		if((CPU->fpu_owner)!=NULL)(CPU->fpu_owner)->fpu_context_engaged=1;
+	}
 }