On an Arduino Portenta, I am getting a crash in `WiFi.begin()` which I believe is the same as this issue. https://github.com/arduino/ArduinoCore-mbed/issues/1008 Would it be possible to update framework-arduino-mbed to 4.2.4?