ARM: at91/tc/clocksource: Add 32 bit variant to Timer Counter