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