sparc64: Use a seperate counter for timer interrupts and NMI checks, like x86.