Failed to find history of kernel/arch/arm/kernel/arch_timer.c 9df731a176aab8e03b984b681b1bea01ccff6644