FreeRTOS: Add warning about disabled SysTickTimer