do interrupt maintenance if interrupt is set pending (ie enqueued)

[axel-h]

In vgic_dist_set_pending_irq() we enque an interrupt and then dequeue one https://github.com/seL4/seL4_projects_libs/blob/9de06305edb99bbe73be1094ed1b9bc47679b854/libsel4vm/src/arch/arm/vgic/vgic.c#L581-L602

Since there is no guarantee that we dequeue the same interrupt we have enqueued, I wonder if this should dequeue in a loop while there are interrupts in the queue and there are list registers available?