From 855a2fa8767ae4588781f5eaa130ddfb323e0e7b Mon Sep 17 00:00:00 2001
From: Kyle McMartin <kyle@redhat.com>
Date: Fri, 21 Oct 2011 12:37:18 -0400
Subject: [PATCH] Drop dead CONFIG_VMI option

commit 9863c90f682fba34cdc26c3437e8c00da6c83fa4
Author: Alok Kataria <akataria@vmware.com>
Date:   Mon Aug 23 14:49:11 2010 -0700

    x86, vmware: Remove deprecated VMI kernel support
---
 config-x86-32-generic | 2 --
 1 file changed, 2 deletions(-)

diff --git a/config-x86-32-generic b/config-x86-32-generic
index caeae9398..82a6f231e 100644
--- a/config-x86-32-generic
+++ b/config-x86-32-generic
@@ -138,8 +138,6 @@ CONFIG_CRYPTO_TWOFISH_586=m
 
 CONFIG_VIDEO_CAFE_CCIC=m
 
-CONFIG_VMI=y
-
 CONFIG_XEN_MAX_DOMAIN_MEMORY=8
 
 CONFIG_MTD_NAND_CAFE=m