Is the timer values in CNTPCT_EL0 in each PE in the same core are synchronized? and if not how can I do so?