Respect the order of menu, when computing the config options#2159

alessio-perugini merged 3 commits intomasterarduino/arduino-cli:masterfrom

fix/board-details-outputarduino/arduino-cli:fix/board-details-outputCopy head branch name to clipboard