Add kernel names to timer output.