# CONFIG_DW_WATCHDOG is not set