sparc64: Fix build of timer_interrupt().