Re: [OS-BUILD PATCH] Remove deprecated Intel MIC config options