Fixed links on kernel profiling intro.