RP2040 updates/fixes from github.com/raspberrypi/FreeRTOS-Kernel#1193

tony-josi-aws merged 1 commit intoFreeRTOS:mainFreeRTOS/FreeRTOS-Kernel:mainfrom

kilograham:rpi_rp2040_changeskilograham/FreeRTOS-Kernel:rpi_rp2040_changesCopy head branch name to clipboard