junsu's multiplatform FreeBSD Kernel GCOV patch
It can be obtained here:
http://www.arbornet.org/~junsu/gcov.diff
gcov is a part of gcc. If I did not misunderstood, kernbb can do something similiar, while it is not so convinent.
Here is some useful information from jkoshy.