Index: kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c
===================================================================
--- kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 08a2007eb7fa066ca36c03cb39fe39b86cb8da79)
+++ kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c	(revision 09a0a8f0999e95475a4a5baea3f5192fb662f4db)
@@ -101,9 +101,4 @@
 	amdm37x_irc_init(beagleboard.irc_addr);
 
-	// TODO find a nicer way to setup 32kHz clock source for timer1
-	ioport32_t *clksel = (void*) km_map(0x48004C40, 4, PAGE_NOT_CACHEABLE);
-	*clksel &= ~1;
-	km_unmap((uintptr_t)clksel, 4);
-
 	/* Initialize timer, pick timer1, because it is in always-power domain
 	 * and has special capabilities for regular ticks */