# CONFIG_FTWDT010_WATCHDOG is not set
