--- src/sys/platform/vkernel/i386/cpu_regs.c	2007/07/02 16:52:00	1.21
+++ src/sys/platform/vkernel/i386/cpu_regs.c	2007/08/15 03:10:49	1.22
@@ -684,6 +684,7 @@ cpu_idle(void)
 
 	crit_exit();
 	KKASSERT(td->td_pri < TDPRI_CRIT);
+	cpu_enable_intr();
 	for (;;) {
 		/*
 		 * See if there are any LWKTs ready to go.