Remove defunct board type defines #42992

Job	Run time
build (stm32f7, chibios, 10)	14m 43s
build (stm32h7, chibios, 10)	13m 38s
build (fmuv2-plane, chibios, 10)	7m 15s
build (periph-build, chibios, 10)	13m 40s
build (iofirmware, chibios, 10)	4m 19s
build (CubeOrange-bootloader, chibios, 10)	3m 23s
build (fmuv3-bootloader, chibios, 10)	3m 21s
build (revo-bootloader, chibios, 10)	3m 17s
build (stm32h7-debug, chibios, 10)	8m 51s
build (fmuv3, chibios, 10)	15m 2s
build (revo-mini, chibios, 10)	12m 4s
build (MatekF405-Wing, chibios, 10)	12m 35s
build (CubeOrange-ODID, chibios, 10)	9m 59s
build (CubeRedPrimary-bootloader, chibios, 10)	3m 18s
build (configure-all, chibios, 10)	12m 45s
build (build-options-defaults-test, chibios, 10)	24m 26s
build (signing, chibios, 10)	11m 10s
build (CubeOrange-PPP, chibios, 10)	8m 26s
build (CubeRed-EKF2, chibios, 10)	8m 30s
build (SOHW, chibios, 10)	13m 58s
build (Pixhawk6X-PPPGW, chibios, 10)	4m 56s
build (new-check, chibios, 10)	14m 39s
	3h 44m 15s

Provide feedback