Constant esp_idf_hal::sys::CONFIG_TCP_WND_DEFAULT

pub const CONFIG_TCP_WND_DEFAULT: u32 = 5744; // 5_744u32