Upgrading FreeRTOS 8.0.0 RC2.