CONFIG_ARM_ARCH_TIMER_OOL_WORKAROUND=y
