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

Greenwich GIrBIL dongle

modulename: girbil-sir.ko


Linux Kernel Configuration
└─>Device Drivers
└─>Staging drivers
└─>IrDA (infrared) subsystem support
└─>Infrared-port device drivers
└─>Greenwich GIrBIL dongle
In linux kernel since version 2.6.12  
Say Y here if you want to build support for the Greenwich GIrBIL
dongle. If you want to compile it as a module, choose M here.
The Greenwich dongle attaches to the normal 9-pin serial port
connector, and can currently only be used by IrTTY. To activate
support for Greenwich dongles you will have to start irattach
like this: "irattach -d girbil".

source code: