Delete: arch/mips64/sgi-ip22/ip22-timer.c