default or selected kernelversion does not have config value CONFIG_IRDA.
Result is shown for kernelversion 6.7-rc3

IrDA (infrared) subsystem support

modulename: irda.ko

configname: CONFIG_IRDA

Linux Kernel Configuration
└─>Device Drivers
└─>Staging drivers
└─>IrDA (infrared) subsystem support
In linux kernel since version 2.6.12  
Say Y here if you want to build support for the IrDA (TM) protocols.
The Infrared Data Associations (tm) specifies standards for wireless
infrared communication and is supported by most laptops and PDA's.

To use Linux support for the IrDA (tm) protocols, you will also need
some user-space utilities like irattach. For more information, see
the file <file:Documentation/networking/irda.txt>. You also want to
read the IR-HOWTO, available at
<http://www.tldp.org/docs.html#howto>.

If you want to exchange bits of data (vCal, vCard) with a PDA, you
will need to install some OBEX application, such as OpenObex :
<http://sourceforge.net/projects/openobex/>

To compile this support as a module, choose M here: the module will
be called irda.

source code: