Failed to find history of kernel/arch/arm/kernel/arch_timer.c 520ec20d74dfd87f62fd58b921b7209d6daed94a