Constant MODEL_I7_WESTMERE_EX 

pub const MODEL_I7_WESTMERE_EX: u32 = 47;