Currently, an external interrupt-triggered vmexit causes host interrupts
to be enabled for a brief window before the ISR is called, during which
the vcpu thread could switch off-CPU and even migrate to a different
physical CPU.
Fix this by calling vmx_exit_process() with interrupts disabled and
enabling them only after the ISR returns.