[ARM] 3856/1: Add clocksource for Intel IXP4xx platforms