Low power timer needs to be reset when setting time. Reset _rtc_lp_timer only if DEVICE_LPTICKER is defined.

Author: RFulchiero

platform/mbed_rtc_time.cpp

@@ -57,6 +57,7 @@ static time_t _rtc_lpticker_read(void)
 
 static void _rtc_lpticker_write(time_t t)
 {
+    _rtc_lp_timer->reset();
     _rtc_lp_base = t;
 }