--- zzzz-none-000/linux-2.6.13.1/arch/mips/kernel/time.c	2005-09-10 02:42:58.000000000 +0000
+++ ohio-7170-487/linux-2.6.13.1/arch/mips/kernel/time.c	2007-06-13 08:22:30.000000000 +0000
@@ -11,6 +11,7 @@
  * Free Software Foundation;  either version 2 of the  License, or (at your
  * option) any later version.
  */
+#include <linux/config.h>
 #include <linux/types.h>
 #include <linux/kernel.h>
 #include <linux/init.h>
@@ -604,9 +605,11 @@
 
 void __init time_init(void)
 {
+
 	if (board_time_init)
 		board_time_init();
 
+
 	if (!rtc_set_mmss)
 		rtc_set_mmss = rtc_set_time;
 
@@ -631,18 +634,19 @@
 
 		if ((current_cpu_data.isa_level == MIPS_CPU_ISA_M32) ||
 			 (current_cpu_data.isa_level == MIPS_CPU_ISA_I) ||
-			 (current_cpu_data.isa_level == MIPS_CPU_ISA_II))
+			 (current_cpu_data.isa_level == MIPS_CPU_ISA_II)) {
 			/*
 			 * We need to calibrate the counter but we don't have
 			 * 64-bit division.
 			 */
 			do_gettimeoffset = calibrate_div32_gettimeoffset;
-		else
+        } else {
 			/*
 			 * We need to calibrate the counter but we *do* have
 			 * 64-bit division.
 			 */
 			do_gettimeoffset = calibrate_div64_gettimeoffset;
+        }
 	} else {
 		/* We know counter frequency.  Or we can get it.  */
 		if (!mips_hpt_read) {