clocksource: convert OMAP1 to 32-bit down counting clocksource