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