Sepherosa Ziehau suggests this relatively easy task: adding a TSC cputimer to vkernels.   Apparently most of the framework to do this is already in place.