20260501-fips-v7-fixes #4157

Job	Run time
build (arduino:samd:mkrfox1200)	5m 36s
build (arduino:avr:nano)	2m 34s
build (arduino:samd:tian)	5m 14s
build (esp32:esp32:esp32s3)	5m 48s
build (esp32:esp32:esp32c6)	6m 8s
build (arduino:avr:mega)	3m 40s
build (arduino:sam:arduino_due_x)	2m 37s
build (arduino:samd:arduino_zero_native)	1m 48s
build (arduino:mbed_portenta:portenta_x8)	3m 23s
build (teensy:avr:teensy40)	2m 8s
build (arduino:avr:uno)	1m 32s
build (arduino:samd:mkr1000)	2m 2s
build (arduino:avr:ethernet)	1m 44s
build (arduino:mbed_portenta:envie_m7)	4m 1s
build (arduino:renesas_uno:unor4wifi)	2m 49s
build (arduino:mbed_edge:edge_control)	2m 46s
build (esp8266:esp8266:generic)	1m 49s
build (esp32:esp32:esp32c3)	7m 34s
build (esp32:esp32:esp32)	6m 14s
build (esp32:esp32:esp32h2)	3m 34s
build (esp32:esp32:esp32s2)	5m 13s
build (arduino:avr:yun)	2m 20s
build (arduino:avr:leonardoeth)	3m 40s
	1h 24m 14s

Provide feedback