ARM: 6635/2: Configure reference clock for Versatile Express timers