[GHC] #8046: Make the timer management scale better across multicore