[kernel] Drop dead CONFIG_VMI option

[Kyle McMartin]

commit 855a2fa8767ae4588781f5eaa130ddfb323e0e7b
Author: Kyle McMartin <kyle at redhat.com>
Date:   Fri Oct 21 12:37:18 2011 -0400

    Drop dead CONFIG_VMI option
    
    commit 9863c90f682fba34cdc26c3437e8c00da6c83fa4
    Author: Alok Kataria <akataria at vmware.com>
    Date:   Mon Aug 23 14:49:11 2010 -0700
    
        x86, vmware: Remove deprecated VMI kernel support

 config-x86-32-generic |    2 --
 1 files changed, 0 insertions(+), 2 deletions(-)
---
diff --git a/config-x86-32-generic b/config-x86-32-generic
index caeae93..82a6f23 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