--- xnu/xnu-6153.11.26/iokit/Kernel/IOInterruptController.cpp
+++ xnu/xnu-6153.41.3/iokit/Kernel/IOInterruptController.cpp
@@ -317,7 +317,9 @@
 		}
 		if (vector->interruptDisabledHard) {
 			vector->interruptDisabledHard = 0;
-
+#if !defined(__i386__) && !defined(__x86_64__)
+			OSMemoryBarrier();
+#endif
 			enableVector(vectorNumber, vector);
 		}
 	}