[PATCH 4.9 094/116] clocksource: Prevent double add_timer_on() for watchdog_timer