Fix issue with free rtos execute sync#1979

kilograham merged 1 commit intoraspberrypi:developraspberrypi/pico-sdk:developfrom

peterharperuk:fix_async_context_execute_syncpeterharperuk/pico-sdk:fix_async_context_execute_syncCopy head branch name to clipboard