Allocating interrupt requests (IRQs) to devices may actually be a useful service, because it allows the OS to just grab a list of devices and start running, without having to program them.
There is effectively no limit to the number of processors that can use mailbox interrupts, because each interrupt requests only a single address on the bus.