add PIC32 current_time() to benchmark