# CONFIG_I6300ESB_WDT is not set