Index: kernel/genarch/src/drivers/am335x/timer.c
===================================================================
--- kernel/genarch/src/drivers/am335x/timer.c	(revision 9d5040726d185ffa4c8a534f5d07c43c3fd08197)
+++ kernel/genarch/src/drivers/am335x/timer.c	(revision 9ae6fc7a2cb94ce23c7fb1b804b5ecb7de67be98)
@@ -119,7 +119,5 @@
 	/* Disable compare mode */
 	tclr &= ~AM335x_TIMER_TCLR_CE_FLAG;
-	/* Enable the prescaler, divisor = 2 */
-	tclr |= AM335x_TIMER_TCLR_PRE_FLAG;
-	tclr &= ~(AM335x_TIMER_TCLR_PTV_MASK << AM335x_TIMER_TCLR_PTV_SHIFT);
+
 	/* Enable auto-reload mode */
 	tclr |= AM335x_TIMER_TCLR_AR_FLAG;