# CONFIG_EUROTECH_WDT is not set