Great catch. This is a good fix. Ideally picolib cstartup would have done this for you, but your fix is a clean fix.
No, it will work seamlessly. The best documentation is probably section 4.11 of the recently released v1.0 official FreeRTOS kernel book. https://freertos.org/Documentation/Mastering-the-FreeRTOS-Real-Time-Kernel.v1.0.pdf