ARM: rename CONFIG_TIMER_CLK_FREQ to COUNTER_FREQUENCY