colognechip_gatemate_evb: add sd card mapping

Author: mmicko

make.py

@@ -142,6 +142,10 @@ def main():
             from litex_boards.platforms.avnet_aesku40 import _sdcard_pmod_io
             board.platform.add_extension(_sdcard_pmod_io)
 
+        if board_name in ["colognechip_gatemate_evb"]:
+            from litex_boards.platforms.colognechip_gatemate_evb import pmods_sdcard_io
+            board.platform.add_extension(pmods_sdcard_io("PMODA"))
+
         if board_name in ["orange_crab"]:
             from litex_boards.platforms.gsd_orangecrab import feather_i2c
             board.platform.add_extension(feather_i2c)