mic-configure: work on host before mic to avoid having exported variables for mic being used for host

mic-configure

@@ -51,7 +51,7 @@ else
     compiler="gcc"
 fi
 
-for arch in mic host
+for arch in host mic
 do
 	# We call the configure script from a build directory further in the
 	# arborescence