Add RTOS option to pico_defines.h as well