Revert back to currently user mbed-builder

maxgerhardt · maxgerhardt · commit 1b8624b35a74 · 2022-06-09T22:28:38.000+02:00
diff --git a/builder/frameworks/arduino/mbed-core b/builder/frameworks/arduino/mbed-core
@@ -1 +1 @@
-Subproject commit 36ee4ff8adb0d80d6ff15e03b34e7b10a147b4d0
+Subproject commit ed9a3458e336660fdf2b1d4a4c828a2ddfd214ad
