clocksource: convert ARM 32-bit up counting clocksources