[PATCH 0/4] Convert CONFIG_SYS_MIPS_TIMER_FREQ to Kconfig