# CONFIG_IMX7ULP_WDT is not set