Constant esp_idf_sys::tskKERNEL_VERSION_BUILD

pub const tskKERNEL_VERSION_BUILD: u32 = 3;