--- a/xen/arch/x86/Kconfig
+++ b/xen/arch/x86/Kconfig
@@ -62,7 +62,7 @@ source "arch/x86/Kconfig.cpu"
 source "arch/Kconfig"
 
 config PV
-	def_bool y
+	def_bool n
 	prompt "PV support"
 	help
 	  Interfaces to support PV domains. These require guest kernel support