# CONFIG_CLOCKSOURCE_WATCHDOG is not set
