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