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