ARM: fix regression in IXP4xx clocksource