clocksource: ARM sp804: allow clocksource name to be specified