extras: Update arduino-devopsfor boards name change.

LinjingZhang · LinjingZhang · commit e7e0c00adba7 · 2025-07-08T14:45:45.000+02:00
Signed-off-by: zhanglinjing &lt;Linjing.Zhang@infineon.com&gt;
diff --git a/extras/arduino-devops b/extras/arduino-devops
@@ -1 +1 @@
-Subproject commit 9f09f1a07f4ba11a449f8b534e2a31abcb3ba581
+Subproject commit 240259776cd4ec996bb1242baaa222752eac8be2
