Index: kernel/arch/ia32/src/asm.S
===================================================================
--- kernel/arch/ia32/src/asm.S	(revision 5cca9351f35eba52fa6887c3a3bb8ddbd5d7c9ba)
+++ kernel/arch/ia32/src/asm.S	(revision eee047c85698831f5ac6ee46aa25807c7a0ae06a)
@@ -339,4 +339,6 @@
 	leal ISTATE_OFFSET_EBP_FRAME(%esp), %ebp
 
+	cld
+
 	pushl %esp          # pass istate address
 	pushl $(\i)         # pass intnum