RP2040 Port: Add missing include to fix SMP kernel compile errors#1358

moninom1 merged 1 commit intoFreeRTOS:mainFreeRTOS/FreeRTOS-Kernel:mainfrom

mike919192:fix_rp2040_smp_compilemike919192/FreeRTOS-Kernel:fix_rp2040_smp_compileCopy head branch name to clipboard