clocksource: samsung_pwm_timer: Add support for non-DT platforms