Edge control: Add board support #1061

Job	Run time
build (arduino:samd:mkr1000, mkr1000)	6m 4s
build (arduino:samd:mkrwifi1010, nina)	4m 50s
build (arduino:samd:nano_33_iot, nina)	4m 40s
build (arduino:samd:mkrwan1300, wan)	3m 3s
build (arduino:samd:mkrgsm1400, gsm)	6m 8s
build (arduino:samd:mkrnb1500, nb)	6m 5s
build (arduino:mbed_portenta:envie_m7, mbed_portenta)	17m 44s
build (esp8266:esp8266:huzzah, esp8266)	3m 9s
build (esp32:esp32:esp32, esp32)	7m 36s
build (arduino:mbed_nano:nanorp2040connect, nina)	19m 0s
build (arduino:mbed_nicla:nicla_vision, mbed_nicla)	14m 38s
build (arduino:mbed_opta:opta, mbed_opta)	25m 30s
build (arduino:mbed_giga:giga, mbed_giga)	22m 53s
build (arduino:renesas_portenta:portenta_c33, renesas_portenta)	8m 59s
build (arduino:renesas_uno:unor4wifi, renesas_uno)	4m 46s
build (arduino:esp32:nano_nora, arduino_esp32)	7m 58s
build (arduino:mbed_edge:edge_control, mbed_edge)	8m 0s
	2h 51m 3s

Provide feedback