# CONFIG_FTWDT010_WATCHDOG is not set