Index: kernel/arch/ia32/src/asm.S
===================================================================
--- kernel/arch/ia32/src/asm.S	(revision f2ef7fd587b7ec8f9d3293862101dfa7dbf2ecf6)
+++ kernel/arch/ia32/src/asm.S	(revision e478b2a47fbac7b32b576f7cb94c8ab0361d7b33)
@@ -159,4 +159,5 @@
 .global sysenter_handler
 sysenter_handler:
+	sti
 	pushl %ebp	# remember user stack
 	pushl %edi	# remember return user address