Index: kernel/arch/ia32/src/asm.S
===================================================================
--- kernel/arch/ia32/src/asm.S	(revision 9110ff070e5e3abb5381cb99117b41599fabdcb9)
+++ kernel/arch/ia32/src/asm.S	(revision 5cca9351f35eba52fa6887c3a3bb8ddbd5d7c9ba)
@@ -142,7 +142,5 @@
 .macro CLEAR_NT_FLAG
 	pushfl
-	pop %ecx
-	and $0xffffbfff, %ecx
-	push %ecx
+	andl $0xffffbfff, (%esp)
 	popfl
 .endm