Add FTDI serial number option to openfpgaloader, useful when multiple…

… similar boards are connected for CI/CD

litex/build/openfpgaloader.py

@@ -12,7 +12,7 @@
 class OpenFPGALoader(GenericProgrammer):
     needs_bitreverse = False
 
-    def __init__(self, board="", cable="", freq=0, fpga_part="", index_chain=None):
+    def __init__(self, board="", cable="", freq=0, fpga_part="", index_chain=None, ftdi_serial=None):
         # openFPGALoader base command.
         self.cmd = ["openFPGALoader"]
 
@@ -36,6 +36,9 @@ def __init__(self, board="", cable="", freq=0, fpga_part="", index_chain=None):
         if index_chain is not None:
             self.cmd += ["--index-chain", str(int(index_chain))]
 
+        if ftdi_serial is not None:
+            self.cmd += ["--ftdi-serial", str(ftdi_serial)]
+
     def load_bitstream(self, bitstream_file):
         # Load base command.
         cmd = self.cmd + ["--bitstream", bitstream_file]