MIPS: convert CONFIG_SYS_MIPS_TIMER_FREQ to Kconfig