[PATCH] ARM SMP: consolidate main IRQ handler code