A SoC-Based Methodology for Cycle-Accurate RTOS System Call Timing Characterization