build for an ESP32-P4 target #444

Job	Run time
build (esp8266:esp8266:nodemcuv2)	2m 42s
build (esp32:esp32:esp32:PartitionScheme=min_spiffs)	4m 50s
build (esp32:esp32:esp32s2)	6m 45s
build (esp32:esp32:esp32s3)	11m 43s
build (esp32:esp32:esp32c3)	6m 46s
build (esp32:esp32:esp32c6)	9m 42s
build (esp32:esp32:esp32h2)	4m 8s
build (STM32:stm32:Nucleo_64)	3m 1s
build (STMicroelectronics:stm32:GenF1)	3m 23s
build (STMicroelectronics:stm32:GenWL)	3m 23s
build (raspberry)	54s
build (energia:cc13xx:LAUNCHXL_CC1310)	3m 33s
build (CubeCell:CubeCell:CubeCell-GPS)	3m 53s
build (CubeCell:CubeCell:CubeCell-Board-PRO)	2m 46s
build (adafruit:nrf52:pca10056)	5m 1s
build (arduino:mbed_edge:edge_control)	4m 1s
build (arduino:samd:mzero_bl)	3m 32s
build (arduino:avr:mega)	36s
build (arduino:renesas_uno:minima)	3m 29s
build (arduino:renesas_uno:unor4wifi)	3m 50s
build (rp2040:rp2040:generic)	5m 19s
build (rp2040:rp2040:rpipicow)	7m 52s
build (rp2040:rp2040:rpipico2)	5m 33s
build (arduino:mbed_rp2040:pico)	4m 4s
build (SiliconLabs:silabs:nano_matter:protocol_stack=ble_arduino)	1m 16s
build (WCH:ch32v:CH32V30x_EVT)	3m 4s
	1h 55m 6s

Provide feedback