CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND (not configurable)

configname: CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND

Linux Kernel Configuration
└─>Device Drivers
└─>Clock Source drivers
└─>ARM_ARCH_TIMER_OOL_WORKAROUND
In linux kernel since version 4.2 (release Date: 2015-08-30)  
depends
CONFIG_GENERIC_CLOCKEVENTS