--- arch/x86/time.c.orig	2008-02-12 07:16:48.000000000 -0500
+++ arch/x86/time.c	2008-02-12 11:19:47.000000000 -0500
@@ -857,6 +857,7 @@ static void local_time_calibration(void 
     {
         stime_elapsed64 >>= 1;
         tsc_elapsed64   >>= 1;
+        tsc_shift--;
     }
 
     /* stime_master_diff now fits in a 32-bit word. */