CONFIG_CLKSRC_TANGO_XTAL (not configurable)

modulename: tango_xtal.ko

and/or

timer-tango-xtal.ko

configname: CONFIG_CLKSRC_TANGO_XTAL

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>CLKSRC_TANGO_XTAL
In linux kernel since version 3.10 (release Date: 2013-06-30)  
source code: