x86/xen: add CONFIG_XEN_PV to Kconfig