[ARM] 2857/2: Dynamic tick - fix OOPS if configured and not provided

Patch from Ben Dooks

timer_dyn_reprogram() fails with an OOPS if the
configuration for CONFIG_NO_IDLE_HZ is enabled, and
the system has no support for it.
Signed-off-by: NBen Dooks <ben-linux@fluff.org>
Signed-off-by: NRussell King <rmk+kernel@arm.linux.org.uk>

arch/arm/kernel/time.c

@@ -433,10 +433,12 @@ void timer_dyn_reprogram(void)
 {
 	struct dyn_tick_timer *dyn_tick = system_timer->dyn_tick;
 
+	if (dyn_tick) {
 		write_seqlock(&xtime_lock);
 		if (dyn_tick->state & DYN_TICK_ENABLED)
 			dyn_tick->reprogram(next_timer_interrupt() - jiffies);
 		write_sequnlock(&xtime_lock);
+	}
 }
 
 static ssize_t timer_show_dyn_tick(struct sys_device *dev, char *buf)