Add microzig.config.board_name (#372) #182

Job	Run time
Check that stm32 generated code is up to date	40s
Unit Test Regz (ubuntu-latest)	23s
Build (ubuntu-latest)	39s
Unit Test Regz (windows-latest)	1m 26s
Unit Test UF2 (ubuntu-latest)	22s
Build (windows-latest)	1m 33s
Unit Test Regz (macos-latest)	32s
Build (macos-latest)	33s
Unit Test UF2 (windows-latest)	1m 11s
Unit Test UF2 (macos-latest)	24s
Build Examples (espressif/esp)	2m 17s
Build Website	21s
Build Examples (gigadevice/gd32)	2m 7s
Dry Run Packaging	1m 16s
Build Examples (microchip/avr)	2m 14s
Build Examples (microchip/atsam)	1m 58s
Unit Test Ports (ubuntu-latest, gigadevice/gd32)	17s
Build Examples (nordic/nrf5x)	2m 5s
Unit Test Ports (ubuntu-latest, raspberrypi/rp2xxx)	15s
Build Examples (nxp/lpc)	2m 4s
Unit Test Ports (ubuntu-latest, stmicro/stm32)	21s
Build Examples (stmicro/stm32)	34s
Unit Test Ports (windows-latest, gigadevice/gd32)	1m 11s
Build Examples (raspberrypi/rp2xxx)	2m 30s
Unit Test Ports (windows-latest, raspberrypi/rp2xxx)	1m 40s
Build Examples (wch/ch32v)	2m 17s
Unit Test Ports (windows-latest, stmicro/stm32)	1m 14s
Unit Test Ports (macos-latest, gigadevice/gd32)	24s
Unit Test Ports (macos-latest, raspberrypi/rp2xxx)	41s
Unit Test Ports (macos-latest, stmicro/stm32)	35s
	34m 4s

Provide feedback