Re: [PATCH V4 1/6] xilinx: versal: board: use CONFIG_COUNTER_FREQUENCY