[PATCH V3 5/6] armv8: set cntfrq_el0 if CONFIG_COUNTER_FREQUENCY is valid