Arduino board manager encounting error on "CMSIS-Atmel is not available"

Running ubuntu Mate under Raspberry Pi, encountering same error as in
https://forum.arduino.cc/index.php?topic=445623.0 ,
which was fixed on Arduino SAMD Boards package file.
Do we get a fix here for Seeed SAMD board ?

Thanks
John

I’m sorry that we have not considered the RPI platform in the current version. We will add it in the next version. Thank you for your feedback.

Thanks for updating, we are using RPi 4 , 64bits ubuntu version for school environment, we want to teach both RPi and Arduino, Wio Terminal is great for education application.
We checked the "package_seeeduino_boards_index.json“ and found “aarch64-linux-gnu” section under CMSIS. Any work around we can do ?

Running Arduino requires a compiler, bossac, and other tools that are currently missing from Raspberry PI, but don’t worry, we will provide them in the next release.

Ya, previously installed bossac manually and sense a little bit of insecurity, if I miss something. Would like to wait formal update, hopefully see that soon.