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