Change optional field to true in platform.json

Author: Jason2866

platform.json

@@ -180,7 +180,7 @@
     },
     "tool-esp-rom-elfs": {
       "type": "tool",
-      "optional": false,
+      "optional": true,
       "owner": "pioarduino",
       "package-version": "2024.10.11",
       "version": "https://github.com/pioarduino/registry/releases/download/0.0.1/esp-rom-elfs-20241011.zip"