default or selected kernelversion does not have config value CONFIG_SERIAL_SGI_IOC4.
Result is shown for kernelversion 6.9.9

SGI IOC4 controller serial support

modulename: ioc4_serial.ko

configname: CONFIG_SERIAL_SGI_IOC4

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Serial drivers
└─>SGI IOC4 controller serial support
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
If you have an SGI Altix with an IOC4 based Base IO card
and wish to use the serial ports on this card, say Y.
Otherwise, say N.

source code: