extras: Update arduino-devops for "infineon" naming.

LinjingZhang · LinjingZhang · commit 877fd307c305 · 2025-07-11T14:53:39.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 79b4899b01c698ca50d292e383c03051bd33c8d1
+Subproject commit 9f09f1a07f4ba11a449f8b534e2a31abcb3ba581
