# CONFIG_GPIO_WATCHDOG is not set