Re: hrtimer_interrupt time sync issues across cores