mips: add header to mips_int.c and mips_timer.c