rtc: add RTC driver for TPS80031/TPS80032