[PATCH 5.4 037/191] clocksource/drivers/timer-of: Use unique device name instead of timer