mibuild: move identifier to platforms

mibuild/platforms/kc705.py

@@ -348,6 +348,7 @@ def Platform(*args, toolchain="vivado", **kwargs):
 		raise ValueError
 
 	class RealPlatform(xilinx_platform):
+		identifier = 0x4B37
 		default_clk_name = "clk156"
 		default_clk_period = 6.4
 		bitgen_opt = "-g LCK_cycle:6 -g Binary:Yes -w -g ConfigRate:12 -g SPI_buswidth:4"

mibuild/platforms/m1.py

@@ -119,6 +119,7 @@ _io = [
 ]
 
 class Platform(XilinxISEPlatform):
+	identifier = 0x4D31
 	default_clk_name = "clk50"
 	default_clk_period = 20
 	def __init__(self):

mibuild/platforms/mixxeo.py

@@ -155,6 +155,7 @@ _io = [
 ]
 
 class Platform(XilinxISEPlatform):
+	identifier = 0x4D58
 	default_clk_name = "clk50"
 	default_clk_period = 20
 	def __init__(self):

mibuild/platforms/papilio_pro.py

@@ -50,6 +50,7 @@ _connectors = [
 ]
 
 class Platform(XilinxISEPlatform):
+	identifier = 0x5050
 	default_clk_name = "clk32"
 	default_clk_period = 31.25
 	def __init__(self):