# CONFIG_SDEI_WATCHDOG is not set
