default or selected kernelversion does not have config value CONFIG_IPMI_SI_PROBE_DEFAULTS.
Result is shown for kernelversion 6.4.14

Probe for all possible IPMI system interfaces by default

configname: CONFIG_IPMI_SI_PROBE_DEFAULTS

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>IPMI top-level message handler
└─>Probe for all possible IPMI system interfaces by default
In linux kernel since version 3.15 (release Date: 2014-06-08)  
Modern systems will usually expose IPMI interfaces via a discoverable
firmware mechanism such as ACPI or DMI. Older systems do not, and so
the driver is forced to probe hardware manually. This may cause boot
delays. Say "n" here to disable this manual probing. IPMI will then
only be available on older systems if the "ipmi_si_intf.trydefaults=1"
boot argument is passed.