Index: ntoskrnl/ke/i386/irqobj.c
===================================================================
--- ntoskrnl/ke/i386/irqobj.c	(revision 59436)
+++ ntoskrnl/ke/i386/irqobj.c	(working copy)
@@ -447,8 +447,8 @@
             /* The vector is shared and the interrupts are compatible */
             Interrupt->Connected = Connected = TRUE;
 
-            /* FIXME */
-            // ASSERT(Irql <= SYNCH_LEVEL);
+            /* FIXME? */
+            ASSERT(Irql <= Interrupt->SynchronizeIrql);
 
             /* Check if this is the first chain */
             if (Dispatch.Type != ChainConnect)
@@ -516,7 +516,9 @@
         if (Dispatch.Type == ChainConnect)
         {
             /* Check if the top-level interrupt is being removed */
-            ASSERT(Irql <= SYNCH_LEVEL);
+
+            /* FIXME? */
+            ASSERT(Irql <= Interrupt->SynchronizeIrql);
             if (Interrupt == Dispatch.Interrupt)
             {
                 /* Get the next one */