[skip-changelog] Sort `board search` results with the same name using their platform ID#2128

MatteoPologruto merged 1 commit intoarduino:masterarduino/arduino-cli:masterfrom

MatteoPologruto:board-search-orderingMatteoPologruto/arduino-cli:board-search-orderingCopy head branch name to clipboard