fix relationship of interrupt controller (INTC) and interrupt source (INTSource) cores.