Tools: configure board-type in build-no-clean.sh #754

Job	Run time
build (stm32f7, chibios, 10)	7m 47s
build (stm32h7, chibios, 10)	6m 31s
build (fmuv2-plane, chibios, 10)	4m 38s
build (periph-build, chibios, 10)	9m 55s
build (iofirmware, chibios, 10)	3m 37s
build (CubeOrange-bootloader, chibios, 10)	3m 13s
build (revo-bootloader, chibios, 10)	3m 18s
build (stm32h7-debug, chibios, 10)	5m 7s
build (fmuv3, chibios, 10)	9m 5s
build (revo-mini, chibios, 10)	7m 36s
build (MatekF405-Wing, chibios, 10)	7m 54s
build (CubeOrange-ODID, chibios, 10)	5m 55s
build (configure-all, chibios, 10)	7m 14s
build (build-options-defaults-test, chibios, 10)	11m 25s
build (signing, chibios, 10)	5m 58s
	1h 39m 13s

Provide feedback