pxa2xx_timer: separate irq for pxa27x handling