The shared BSP interrupt controller support code actually implements parts of the Interrupt Manager. Update #3706.