CONFIG_ARCH_DAVINCI is not available for thedefaultarchitecture x86.
Result is shown for architecture arm

TI DaVinci

modulename: davinci-cpufreq.ko

and/or

gpio-davinci.ko

configname: CONFIG_ARCH_DAVINCI

ARM system type
└─>TI DaVinci
In linux kernel since version 2.6.22 (release Date: 2007-07-08)  
Support for TI's DaVinci platform.

source code: