Constant CONFIG_BOOTLOADER_WDT_TIME_MS 

pub const CONFIG_BOOTLOADER_WDT_TIME_MS: u32 = 9000;