clocksource: convert MXS timrotv2 to 32-bit down counting clocksource