tracing/x86: Don't use mcount in kvmclock.c