The Task Aware Debugger seems to have tools that will do this an much more.. Have not personally used it, but I have read up on it at www.freescale.com/mqx
As a concept, you can access the KERNAL_DATA_STRUCT->IDLE_LOOPX (there are 3 uint_32's with different resolutions you can use depending on the accuracy you want).
To work out the speed it ticks at, I would simply run a time slice thread that runs every X seconds and save the start ticks and end ticks (not processor ticks, the IDLE_LOOPX ticks). With that, you can calibrate a value for no load and work from there.
It should be very easy to work out the resolution of each timer. If you do it, will you share the results? Or maybe the MQX guys will tell us the resolution of the IDLE_LOOP counters for the dev boards...
Dam, I could have just worked it out in the time this post this response...