Index: linux-3.12.33-rt47-i386/kernel/time/clocksource.c
===================================================================
--- linux-3.12.33-rt47-i386.orig/kernel/time/clocksource.c
+++ linux-3.12.33-rt47-i386/kernel/time/clocksource.c
@@ -294,7 +294,8 @@ static void clocksource_watchdog(unsigne
 			continue;
 
 		/* Check the deviation from the watchdog clocksource. */
-		if ((abs(cs_nsec - wd_nsec) > WATCHDOG_THRESHOLD)) {
+		if ((jiffies -  watchdog_timer.expires < 4*WATCHDOG_INTERVAL)  &&
+		    (abs(cs_nsec - wd_nsec) > WATCHDOG_THRESHOLD)) {
 			clocksource_unstable(cs, cs_nsec - wd_nsec);
 			continue;
 		}