Hi. We are trying to benchmark CoreMark with RIOT on esp32c3 but the results are lower compared to ESP-IDF. ESP-IDF is around twice as fast. How do we set compiler flags properly? Does anyone know how we could get better performance? We have added flags to CFLAGS_OPT.