void add_interrupt_array (const struct startup_intrinfo *intrs, unsigned size)
Add the interrupt array callouts specified by intrs (for size bytes) into the interrupt callout array in the system page.