Instrumenting kernel for boot time profiling