[PATCH 3.16 91/99] clocksource: Prevent double add_timer_on() for watchdog_timer