Add condition variables to pico_sync (fixes #1093)#1101

pguyot wants to merge 1 commit intoraspberrypi:developraspberrypi/pico-sdk:developfrom

pguyot:w46/condition-variablespguyot/pico-sdk:w46/condition-variablesCopy head branch name to clipboard