Index: arch/ia32/src/cpu/cpu.c
===================================================================
--- arch/ia32/src/cpu/cpu.c	(revision af22f1588ae217fb7d524e7971a8d40647a9e7a7)
+++ arch/ia32/src/cpu/cpu.c	(revision d5d2a3ff84d6d7012c3225ebf93d3becc7bfeb68)
@@ -132,5 +132,4 @@
 		CPU->arch.stepping = (info.cpuid_eax>>0)&0xf;						
 	}
-    set_TS_flag();
 }