Micro ros and teensyduino

Hello, I am a beginner with ROS 2 and micro-ROS. Currently, I have a Raspberry Pi 4 with Ubuntu Mate installed. I needed to install Arduino 1.8.19, which required me to install Teensyduino separately. After setting everything up, I was able to upload code to the Teensy 4.1 without any issues. However, after I started installing micro-ROS Humble

- Hardware description:
- RTOS :
- Installation type:
- Version or commit hash:

#### Steps to reproduce the issue
1.Install Arduino 1.8.19 on Raspberry Pi 4.
2.Install Teensyduino 1.59.0
3.Upload code to Teensy 4.1 to confirm proper setup.
3.Follow steps to patch Teensy platform for micro-ROS:

```
cd ~/arduino-1.8.13/hardware/teensy/avr/
curl https://raw.githubusercontent.com/micro-ROS/micro_ros_arduino/main/extras/patching_boards/platform_teensy.txt > platform.txt
```

5.Add the micro-ROS library as a zip file.
6.Attempt to upload example code to Teensy 4.1, resulting in an error:

**fork/exec /arm/bin/arm-none-eabi-g++: no such file or directory**

#### Expected behavior
Code should upload to Teensy 4.1 without issues.

#### Actual behavior
The code fails to upload to Teensy 4.1, showing the error message fork/exec /arm/bin/arm-none-eabi-g++: no such file or directory.

#### Additional information

I have followed the steps to install and patch the Teensy platform for micro-ROS, but after doing so, I cannot upload any code to Teensy 4.1, even simple example sketches.

Start by reproducing the Teensy 4.1 upload failure after replacing hardware/teensy/avr/platform.txt with the linked patching_boards/platform_teensy.txt content. Check the Arduino 1.8.19, Teensyduino 1.59.0, and micro-ROS Humble setup around the reported /arm/bin/arm-none-eabi-g++ path. Done means both the micro-ROS example and a simple sketch upload successfully.

Written by the indexing model from the issue text.