PWM Cluster: Make GCC 13.x happy. #5343

Job	Run time
pico (RPI_PICO)	4m 49s
pico_usb (RPI_PICO_USB)	4m 27s
picow (RPI_PICO_W)	5m 2s
tiny2040_8mb (PIMORONI_TINY2040)	4m 55s
picolipo_4mb (PIMORONI_PICOLIPO_4MB)	4m 46s
picolipo_16mb (PIMORONI_PICOLIPO_16MB)	4m 47s
tufty2040 (PIMORONI_TUFTY2040)	4m 50s
enviro (PICO_W_ENVIRO)	4m 40s
galactic_unicorn (RPI_PICO_W)	4m 40s
cosmic_unicorn (RPI_PICO_W)	4m 42s
stellar_unicorn (RPI_PICO_W)	4m 56s
inky_frame (PICO_W_INKY)	5m 1s
	57m 35s

Provide feedback