Fix for Issue 2036

Title: Custom board option menus not following the order sent by the cli

Fixes "Custom board option menus not following the order inside boards.txt"

Line 74-76 of "boards-data-menu-updater.ts":
            for (const { label, option, values } of configOptions.sort(
              ConfigOption.LABEL_COMPARATOR
            )) {
New Line 74:
            for (const { label, option, values } of configOptions ) {

IMHO using sort on configOptions will produce the mentioned failure.
Simply don't sort and the order will be as in Arduino IDE 1.x (as desfined inside board.txt)

I don't have the tools to build and test this change.
I use the AppImage "arduino-ide_2.3.6_Linux_64bit.AppImage"

Signed-off-by: Günter Neiß <gneiss@web.de>

Author: gneiss15

arduino-ide-extension/src/browser/contributions/boards-data-menu-updater.ts

@@ -71,9 +71,7 @@ export class BoardsDataMenuUpdater extends Contribution {
               ...ArduinoMenus.TOOLS__BOARD_SETTINGS_GROUP,
               'z01_boardsConfig',
             ]; // `z_` is for ordering.
-            for (const { label, option, values } of configOptions.sort(
-              ConfigOption.LABEL_COMPARATOR
-            )) {
+            for (const { label, option, values } of configOptions ) {
               const menuPath = [...boardsConfigMenuPath, `${option}`];
               const commands = new Map<
                 string,