fix include MIC header when MIC is not activated

src/drivers/mic/driver_mic_common.h

@@ -18,13 +18,12 @@
 #ifndef __DRIVER_MIC_COMMON_H__
 #define __DRIVER_MIC_COMMON_H__
 
-
-#include <source/COIProcess_source.h>
 #include <common/config.h>
 
-
 #ifdef STARPU_USE_MIC
 
+#include <source/COIProcess_source.h>
+
 #define STARPU_TO_MIC_ID(id) ((id) + 1)
 
 /* TODO: rather allocate ports on the host and pass them as parameters to the device process */