Mention kernel.instrumented.

When we build the FreeBSD kernel with TESLA, it doesn't instrument 'kernel', it produces a 'kernel.instrumented' alongside the usual (uninstrumented) version.