SOLVED: Interrupt queuing

Yes, the interrupts are queued. But, only one of each kind. If there is more than one of a given kind, the extra(s) are ignored.