(PSP) Implement rarch_get_perf_counter for MIPS with gettimeofday