[PATCH] powerpc: unified signature of timer_interrupt() between ppc32/ppc64