alpha: Use handle_percpu_irq for the timer interrupt