[U-Boot] [PATCH v4 02/13] ARM: rename CONFIG_TIMER_CLK_FREQ to COUNTER_FREQUENCY