kernel/baseconfig/CONFIG_ARM_ARCH_TIMER_EVTSTREAM