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

SGI Altix IOC3 serial support

modulename: ioc3_serial.ko

configname: CONFIG_SERIAL_SGI_IOC3

Linux Kernel Configuration
└─>Device Drivers
└─>Character devices
└─>Serial drivers
└─>SGI Altix IOC3 serial support
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
If you have an SGI Altix with an IOC3 serial card,
say Y or M. Otherwise, say N.

source code: