Hello, I am investigating using the ESP32 Pico-Kit dev board. It uses the ESP32 Pico D4 chip. I have uploaded a simple program to blink the builtin led, report some hall effect values and touch pin values. When I run the program, the hall functions and touch pin function work, but the builtin led do...