# CONFIG_IB700_WDT is not set
