CONFIG_EV64260 is not available for thedefaultarchitecture x86.
Result is shown for architecture ppc

Marvell-EV64260BP

modulename: todc_time.ko

and/or

ev64260.ko

configname: CONFIG_EV64260

Machine Type
└─>Marvell-EV64260BP
In linux kernel since version 2.6.20 (release Date: 2007-02-04)  
Select EV64260 if configuring a Marvell (formerly Galileo)
EV64260BP Evaluation platform.

source code:
arch/ppc/syslib/