default or selected kernelversion does not have config value CONFIG_VIDEO_SECO_RC.
Result is shown for kernelversion 6.9.8

SECO Boards IR RC5 support

configname: CONFIG_VIDEO_SECO_RC

Linux Kernel Configuration
└─>Device Drivers
└─>Multimedia support
└─>CEC platform devices
└─>Remote Controller support
└─>Remote Controller support
└─>SECO Boards IR RC5 support
In linux kernel since version 5 (release Date: 2019-03-03)  
If you say yes here you will get support for the
SECO Boards Consumer-IR in seco-cec driver.
The embedded controller supports RC5 protocol only, default mapping
is set to rc-hauppauge.