clocksource: convert ARM 32-bit down counting clocksources