esp32/rtc: Set system microseconds when setting time via RTC.datetime().
esp32/rtc: Set system microseconds when setting time via RTC.datetime().

pfalcon/micropython,pfalcon/micropython,pfalcon/micropython,pfalcon/micropython,pfalcon/micropython