add FREERTOS current_time() to benchmark.c