# CONFIG_CADENCE_WATCHDOG is not set