timekeeping: Make sure to notify hrtimers when TAI offset changes