# CONFIG_EBC_C384_WDT is not set