[xen master] xenoprof: default to off

[patchbot@xxxxxxx]

commit 08e2372c6570b3629bebfca14987f31c6cd81d30
Author:     Jan Beulich <jbeulich@xxxxxxxx>
AuthorDate: Wed Jul 12 13:25:11 2023 +0200
Commit:     Jan Beulich <jbeulich@xxxxxxxx>
CommitDate: Wed Jul 12 13:25:11 2023 +0200

    xenoprof: default to off
    
    This being x86-only right now, and its x86 bits being heavily outdated,
    let's no longer enable this by default.
    
    While there also adjust the "help" keyword spelling.
    
    Signed-off-by: Jan Beulich <jbeulich@xxxxxxxx>
    Acked-by: Roger Pau Monné <roger.pau@xxxxxxxxxx>
---
 xen/arch/x86/configs/pvshim_defconfig | 1 -
 xen/common/Kconfig                    | 5 ++---
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/xen/arch/x86/configs/pvshim_defconfig 
b/xen/arch/x86/configs/pvshim_defconfig
index d0e92c2ded..a8ab1d4337 100644
--- a/xen/arch/x86/configs/pvshim_defconfig
+++ b/xen/arch/x86/configs/pvshim_defconfig
@@ -13,7 +13,6 @@ CONFIG_EXPERT=y
 # CONFIG_HYPFS is not set
 # CONFIG_BIGMEM is not set
 # CONFIG_KEXEC is not set
-# CONFIG_XENOPROF is not set
 # CONFIG_XSM is not set
 # CONFIG_UNSUPPORTED is not set
 # CONFIG_SCHED_CREDIT is not set
diff --git a/xen/common/Kconfig b/xen/common/Kconfig
index 3d2123a783..dd8d7c3f1c 100644
--- a/xen/common/Kconfig
+++ b/xen/common/Kconfig
@@ -229,10 +229,9 @@ config EFI_SET_VIRTUAL_ADDRESS_MAP
       If unsure, say N.
 
 config XENOPROF
-       def_bool y
-       prompt "Xen Oprofile Support" if EXPERT
+       bool "Xen Oprofile Support" if EXPERT
        depends on X86
-       ---help---
+       help
          Xen OProfile (Xenoprof) is a system-wide profiler for Xen virtual
          machine environments, capable of profiling the Xen virtual machine
          monitor, multiple Linux guest operating systems, and applications
--
generated by git-patchbot for /home/xen/git/xen.git#master