added mic patch for cmssw src