How do I update the ESP32 core used in PlatformIO?