[PATCH 0/6] Convert COUNTER_FREQUENCY to CONFIG_COUNTER_FREQUENCY