RE: [PATCH V3 0/6] Convert COUNTER_FREQUENCY to CONFIG_COUNTER_FREQUENCY