20260615-linuxkm-fixes #5409

Job	Run time
build (arduino:avr:mega)	1m 45s
build (esp32:esp32:esp32)	7m 5s
build (arduino:renesas_uno:unor4wifi)	1m 51s
build (arduino:sam:arduino_due_x)	1m 29s
build (teensy:avr:teensy40)	2m 27s
build (esp32:esp32:esp32s3)	6m 30s
build (arduino:samd:mkr1000)	56s
build (arduino:mbed_edge:edge_control)	1m 33s
build (esp8266:esp8266:generic)	2m 2s
build (arduino:mbed_portenta:envie_m7)	2m 54s
build (esp32:esp32:esp32c3)	6m 11s
build (arduino:avr:uno)	1m 2s
	35m 45s

Provide feedback