Index: /trunk/src/VBox/VMM/EM.cpp
===================================================================
--- /trunk/src/VBox/VMM/EM.cpp	(revision 19872)
+++ /trunk/src/VBox/VMM/EM.cpp	(revision 19873)
@@ -3970,5 +3970,4 @@
                  */
                 case EMSTATE_WAIT_SIPI:
-                    Assert(!(CPUMGetGuestEFlags(pVCpu) & X86_EFL_IF));
                     /* no break */
                 /*