Failed to find history of kernel/drivers/clocksource/timer-ti-32k.c 25c72f09e887f85fcff4a3f978d294da97ab1420