13.15 EIC – External Interrupt Controller