Index: linux-2.6.22.6/arch/arm/plat-mxc/time.c
===================================================================
--- linux-2.6.22.6.orig/arch/arm/plat-mxc/time.c
+++ linux-2.6.22.6/arch/arm/plat-mxc/time.c
@@ -222,6 +222,7 @@ void __init mxc_init_time(void)
 
 #ifdef CLOCK_TICK_RATE
 	div = rate / CLOCK_TICK_RATE;
+	printk("%s : DIV=%d, rate=%d, CLOCK_TICK_RATE=%d\n",__FUNCTION__, div, rate, CLOCK_TICK_RATE);
 	WARN_ON((div * CLOCK_TICK_RATE) != rate);
 #else				/* Hopefully CLOCK_TICK_RATE will go away soon */
 	div = 1;
