updated for CMSSW_7_1_0_pre3
updated cmssw-src-mic patchh