CONFIG_ETRAX_RTC is not available for thedefaultarchitecture x86.
Result is shown for architecture cris
default or selected kernelversion does not have config value CONFIG_ETRAX_RTC.
Result is shown for kernelversion 6.2.5

Real Time Clock support

configname: CONFIG_ETRAX_RTC

Linux Kernel Configuration
└─>Drivers for built-in interfaces
└─>Real Time Clock support
In linux kernel since version 2.6.12  
Enables drivers for the Real-Time Clock battery-backed chips on
some products. The kernel reads the time when booting, and
the date can be set using ioctl(fd, RTC_SET_TIME, &rt) with rt a
rtc_time struct (see <file:include/asm-cris/rtc.h>) on the /dev/rtc
device. You can check the time with cat /proc/rtc, but
normal time reading should be done using libc function time and
friends.