Re: Instrumenting kernel for boot time profiling