Arduino: Esp32: is OTA compatible with FREERTOS