Counting cycle in f9-kernel?

[louisom]

It seems in f9-kernel, it didn't provide any function for timing measurement.

And there isn't an asm instruction like rdtsc, maybe need to think a method to provide this function.