[PATCH 4.19 193/195] clocksource: Prevent double add_timer_on() for watchdog_timer