Remove the need for an additional IRQgetTime() when profiling is enabled, improves context switch time by ~10%