rtc: add rtc-tx4939 driver