CONFIG_CLKSRC_I8253 (not configurable)

configname: CONFIG_CLKSRC_I8253

Linux Kernel Configuration
└─>Device Drivers
└─>CLKSRC_I8253
In linux kernel since version 3 (release Date: 2011-07-21)  
depends
 or CONFIG_GENERIC_CLOCKEVENTS