has already been called and thus we know the values the timers are using. This also ensures that clock_sc will always be valid when we try and use it to read the timer registers. Fixes PR7357.