[PARISC] Further updates to timer_interrupt()