Any tracing mechanism can track the executed instructions of a user process in the kernel?