Get rid of KERN_DEBUG so that TRACE_OS works consistently