default or selected kernelversion does not have config value CONFIG_NETDEV_10000.
Result is shown for kernelversion 6.2.5

Ethernet (10000 Mbit)

configname: CONFIG_NETDEV_10000

Linux Kernel Configuration
└─>Device Drivers
└─>Network device support
└─>Ethernet (10000 Mbit)
In linux kernel since version 2.6.24 (release Date: 2008-01-24)  
Say Y here to get to see options for 10 Gigabit Ethernet drivers.
This option alone does not add any kernel code.

If you say N, all options in this submenu will be skipped and disabled.