default or selected kernelversion does not have config value CONFIG_HOTPLUG_PCI_SGI.
Result is shown for kernelversion 6.9.9
SGI PCI Hotplug Support
modulename: sgi_hotplug.ko
configname: CONFIG_HOTPLUG_PCI_SGI
Linux Kernel Configuration
└─>Bus options (PCI etc.)
└─>Support for PCI Hotplug
└─>SGI PCI Hotplug Support
In linux kernel since version 4.2 (release Date: 2015-08-30)
Say Y here if you want to use the SGI Altix Hotplug
Driver for PCI devices.
When in doubt, say N.
Driver for PCI devices.
When in doubt, say N.