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