Kernel-Ray is a kernel tracing and performance verification toolkit