tools/autobuild: Don't allow a board to change its ID.

All board IDs are now the board directory name.

Signed-off-by: Damien George <damien@micropython.org>

tools/autobuild/build-downloads.py

@@ -65,9 +65,8 @@ def main(repo_path, output_path):
                 )
                 sys.exit(1)
 
-            # Use "id" if specified, otherwise default to board dir (e.g. "PYBV11").
-            # We allow boards to override ID for the historical build names.
-            blob["id"] = blob.get("id", os.path.basename(board_dir))
+            # The ID of a board is the board directory (e.g. "PYBV11").
+            blob["id"] = os.path.basename(board_dir)
 
             # Check for duplicate board IDs.
             if blob["id"] in board_ids: