This patch causes the kernel to report the clock speed of the
primary CPU at boot time on SMP boxen.

--- /usr/src/sys/i386/i386/identcpu.c.orig	Mon Nov 29 17:48:43 1999
+++ /usr/src/sys/i386/i386/identcpu.c	Mon Nov 29 17:48:56 1999
@@ -504,21 +504,17 @@
 #endif
 #if defined(I586_CPU)
 	case CPUCLASS_586:
-#ifndef SMP
 		printf("%d.%02d-MHz ",
 		       (tsc_freq + 4999) / 1000000,
 		       ((tsc_freq + 4999) / 10000) % 100);
-#endif
 		printf("586");
 		break;
 #endif
 #if defined(I686_CPU)
 	case CPUCLASS_686:
-#ifndef SMP
 		printf("%d.%02d-MHz ",
 		       (tsc_freq + 4999) / 1000000,
 		       ((tsc_freq + 4999) / 10000) % 100);
-#endif
 		printf("686");
 		break;
 #endif
