8000 Use esp_timer_get_time as time source for micros and mills (#1424) · TKrett/arduino-esp32@93c45af · GitHub