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