CONFIG_SGI_MFD_IOC3 is not available for thedefaultarchitecture x86.
Result is shown for architecture 64BIT

SGI IOC3 core driver

modulename: ioc3.ko

configname: CONFIG_SGI_MFD_IOC3

Linux Kernel Configuration
└─>Device Drivers
└─>Multifunction device drivers
└─>PCI support
└─>SGI IOC3 core driver
In linux kernel since version 4.14.326 (release Date: 2023-09-23)  
This option enables basic support for the SGI IOC3-based
controller cards. This option does not enable any specific
functions on such a card, but provides necessary infrastructure
for other drivers to utilize.

If you have an SGI Origin, Octane, or a PCI IOC3 card,
then say Y. Otherwise say N.

source code: