CI/CD: Arduino ESP32 build fix #1

Job	Run time
ard_info	2m 2s
ard_build (arduino:avr:uno, CoopBasic)	2m 11s
ard_build (arduino:avr:uno, CoopIdle)	2m 1s
ard_build (arduino:avr:uno, CoopWaitCond)	2m 6s
ard_build (arduino:avr:uno, CoopWaitNotify)	2m 3s
ard_build (arduino:avr:uno, CoopYieldAfter)	2m 6s
ard_build (esp32:esp32:esp32, CoopBasic)	2m 16s
ard_build (esp32:esp32:esp32, CoopIdle)	2m 12s
ard_build (esp32:esp32:esp32, CoopWaitCond)	2m 12s
ard_build (esp32:esp32:esp32, CoopWaitNotify)	2m 12s
ard_build (esp32:esp32:esp32, CoopYieldAfter)	2m 15s
ard_build (esp8266:esp8266:generic, CoopBasic)	2m 10s
ard_build (esp8266:esp8266:generic, CoopIdle)	2m 24s
ard_build (esp8266:esp8266:generic, CoopWaitCond)	2m 24s
ard_build (esp8266:esp8266:generic, CoopWaitNotify)	2m 24s
ard_build (esp8266:esp8266:generic, CoopYieldAfter)	2m 16s
	35m 14s

Provide feedback