[PATCH 4.19 015/323] clocksource/drivers: Unify the names to timer-* format