# CONFIG_WAFER_WDT is not set