[PATCH 228/429] clocksource/drivers/timer-of: Use unique device name instead of timer