alpha: Use handle_percpu_irq for the timer interrupt

Signed-off-by: Richard Henderson <rth@twiddle.net>