Yeah, the problem is that the CPU frequency, which is used in the game's timer, is being misreported to the game. A similar problem also occurs on systems where the CPU clock speed is dynamic, such as in power-saving systems in some laptops. That later case is usually fixed by querying the frequency each frame.
