Don Mahurin authored Jul 20, 2015 and Philippe Gerum committed Feb 28, 2016

For this arm64 implementation, __ipipe_hrclock_freq is
__ipipe_hrtimer_freq, and 'ipipe_select_timers' requires
__ipipe_hrclock_freq to be set before __ipipe_hrtimer_freq is
initialized