paravirt: let users decide whether they want VMI

Subject: [patch] paravirt: let users decide whether they want VMI
From: Ingo Molnar <[email protected]>

do not use default=y for CONFIG_VMI (we do not do that for any driver or special-hardware feature): the overwhelming majority of Linux users does not need it, and interested users and distributions can enable it as-needed.

---
 arch/i386/Kconfig |    1 -
 1 file changed, 1 deletion(-)

Index: linux/arch/i386/Kconfig
===================================================================
@@ -225,7 +225,6 @@ config PARAVIRT
 config VMI
 	bool "VMI Paravirt-ops support"
 	depends on PARAVIRT
-	default y
 	help
 	  VMI provides a paravirtualized interface to the VMware ESX server
 	  (it could be used by other hypervisors in theory too, but is not