Add NUM_EXT_INTERRUPTS