Index: kernel/arch/ia32/src/asm.S
===================================================================
--- kernel/arch/ia32/src/asm.S	(revision 80781805f96da792e67d3eda15bef9c95c028329)
+++ kernel/arch/ia32/src/asm.S	(revision 35599c9c8f4313e7914d28b529024ca81d21f03f)
@@ -414,5 +414,5 @@
 	xorl %eax, %eax
 	cmpl $8, ISTATE_OFFSET_CS(%esp)
-	cmovl %eax, %ebp
+	cmovnzl %eax, %ebp
 
 	movl %ebp, ISTATE_OFFSET_EBP_FRAME(%esp)