[PATCH 4.19 019/114] clocksource/drivers/timer-of: Use unique device name instead of timer