Searching for Kernel Symbol CONFIG_IPVLAN

[archenroot]

Hi guys,

is there any tool which displays and find all symbols and what symbol hierarchy must be enabled to display the one hidden?

I of course followed this:
https://cateee.net/lkddb/web-lkddb/IPVLAN.html

And all configs required are enabled.... but still I cannot see in my .config file anything like CONFIG_IPVLAN...

I struggled this back in time, but having stable minimalistic kernels for all my hardware done (servers, laptops, workstation)... but now again, while trying to run docker on kernel-4.9.76-r1 (gentoo-sources) I cannot find and enable CONFIG_IPVLAN symbol.

Is there any tool to help me find the symbol via make make xconfig/menuconfig, etc.?

Thank you for any hint.
_________________
Emperor wants to control outer space Yoda wants to explore inner space that's the fundamental difference between good and bad sides of the Force

[NeddySeagoon]

archenroot,

In kernel-4.17.2, it says

[archenroot]

Thank you for checking on later kernel, maybe I will upgrade anyway and going to test your way.

I tried in xconfig, but without luck, the search didn't show me it, although someone elsewhere said xconfig can show even hidden symbols.
_________________
Emperor wants to control outer space Yoda wants to explore inner space that's the fundamental difference between good and bad sides of the Force

[NeddySeagoon]

archenroot,

All the config tools except