--- linux-2.6.20.7/arch/i386/kernel/tsc.c
+++ linux-2.6.20.7-rt8/arch/i386/kernel/tsc.c
@@ -122,6 +122,7 @@ static unsigned long calculate_cpu_khz(v
 	u64 delta64;
 	int i;
 	unsigned long flags;
+	printk("DEBUG: calculate_cpu_khz\n");
 
 	local_irq_save(flags);
 
@@ -187,7 +188,7 @@ void __init tsc_init(void)
 	if (!cpu_has_tsc || tsc_disable)
 		goto out_no_tsc;
 
-	cpu_khz = calculate_cpu_khz();
+	cpu_khz = 1266700;
 	tsc_khz = cpu_khz;
 
 	if (!cpu_khz)