* Patch by Travis Sawyer, 05 Apr 2005:

  - Change timer frequency for ppc 440 from 10 ms to 1 ms.
    Problem found by Andrew Wozniak.

cpu/ppc4xx/interrupts.c

@@ -134,7 +134,7 @@ int interrupt_init_cpu (unsigned *decrementer_count)
 	mtspr( dec, 0 );		/* Prevent exception after TSR clear*/
 	mtspr( decar, 0 );		/* clear reload */
 	mtspr( tsr, 0x08000000 );	/* clear DEC status */
-	val = gd->bd->bi_intfreq/100;	/* 10 msec */
+	val = gd->bd->bi_intfreq/1000;	/* 1 msec */
 	mtspr( decar, val );		/* Set auto-reload value */
 	mtspr( dec, val );		/* Set inital val */
 #else