Constant XTENSA_HWVERSION_RE_2012_1 

pub const XTENSA_HWVERSION_RE_2012_1: u32 = 250001;