use SoC specific irq dispatch code