Don't add MIC COI includes unless --enable-mic is specified

This patch successfully avoids including COI on my MIC-less system, but I don't have a MIC system to make sure this doesn't break builds.  Please test there before committing.