Comment 4 for bug 1771042

thanks for looking at this Stefan - since I don't have any context of exactly the kind of environmental issues like threading, the patch posted here isn't really a suggested fix.

it does in general seem helpful if batched interrupts have the same delivery semantics as non-deferred.