Dont initialize a TSC timecounter until we know if it is broken or not.

sys/i386/i386/tsc.c

@@ -99,7 +99,13 @@ init_TSC(void)
 	if (mp_ncpus > 1 && !smp_tsc)
 		return;
 #endif
+	return;
+}
 
+
+void
+init_TSC_tc(void)
+{
 	/*
 	 * We can not use the TSC if we support APM. Precise timekeeping
 	 * on an APM'ed machine is at best a fools pursuit, since 

sys/i386/include/clock.h

@@ -46,6 +46,7 @@ int	release_timer1(void);
 int	sysbeep(int pitch, int period);
 void	timer_restore(void);
 void	init_TSC(void);
+void	init_TSC_tc(void);
 
 #endif /* _KERNEL */
 

sys/i386/isa/clock.c

@@ -1057,6 +1057,7 @@ cpu_initclocks()
 		       "routing 8254 via 8259 and IOAPIC #0 intpin 0\n");
 #endif
 	
+	init_TSC_tc();
 }
 
 #ifdef APIC_IO

sys/isa/atrtc.c

@@ -1057,6 +1057,7 @@ cpu_initclocks()
 		       "routing 8254 via 8259 and IOAPIC #0 intpin 0\n");
 #endif
 	
+	init_TSC_tc();
 }
 
 #ifdef APIC_IO