Failed to find history of kernel/drivers/clocksource/mps2-timer.c 983d7f83616922a6439b4352d1b3af488ee27f95