bump Arduino MBED Core up to 4.2.1

Author: lyusupov

.github/workflows/main.yml

@@ -380,7 +380,7 @@ jobs:
           fi
           if [[ "$BOARD" =~ "arduino:mbed_edge:" ]]; then
             arduino --pref "boardsmanager.additional.urls=https://downloads.arduino.cc/packages/package_index.json" --save-prefs ;
-            arduino --install-boards arduino:mbed_edge:4.1.5 ;
+            arduino --install-boards arduino:mbed_edge:4.2.1 ;
             arduino --board $BOARD --save-prefs ;
             wget https://github.com/arduino-libraries/ArduinoBLE/archive/refs/tags/${ARDUINO_BLE_VERSION}.tar.gz ;
             tar xzf ${ARDUINO_BLE_VERSION}.tar.gz ;
@@ -424,9 +424,9 @@ jobs:
           fi
           if [[ "$BOARD" =~ "arduino:mbed_rp2040:" ]]; then
             arduino --pref "boardsmanager.additional.urls=https://downloads.arduino.cc/packages/package_index.json" --save-prefs ;
-            arduino --install-boards arduino:mbed_rp2040:4.1.5 ;
+            arduino --install-boards arduino:mbed_rp2040:4.2.1 ;
             arduino --board $BOARD --save-prefs ;
-            cd $HOME/.arduino15/packages/arduino/hardware/mbed_rp2040/4.1.5/variants/RASPBERRY_PI_PICO ;
+            cd $HOME/.arduino15/packages/arduino/hardware/mbed_rp2040/4.2.1/variants/RASPBERRY_PI_PICO ;
             sed -i '62 a // Serial2'                   ${PINS_ARDUINO} ;
             sed -i '63 a #define PIN_SERIAL2_TX (4ul)' ${PINS_ARDUINO} ;
             sed -i '64 a #define PIN_SERIAL2_RX (5ul)' ${PINS_ARDUINO} ;