ESP32 Embedded Rust at the HAL: Analog Temperature Sensing using the ADC