I have a theory on why the bsim tests were always reporting incoherent interrupt/queue status state.   unfortunately, this doesn't explain the spurrious interrupts I am seeing when running in shared interrupt mode on the zynq platform.