The IA-32 manual is very secretive about the fact that the SYSENTER instruction
disables interrupts (I found only one evidence of this in the instruction's
pseudo code). The sysenter_handler needs to reenable the interrupts in order to
preserve the preemptive nature of the kernel.