Kernel: Disable profile timer when the process exits

When profiling a single process we didn't disable the profile timer.
enable_profile_timer()/disable_profiler_timer() support nested calls
so no special care has to be taken here to only disable the timer when
nobody else is using it.

Kernel/Process.cpp

@@ -492,8 +492,10 @@ void Process::finalize()
  if (is_dumpable()) {
  if (m_should_dump_core)
  dump_core();
- if (m_perf_event_buffer)
+ if (m_perf_event_buffer) {
  dump_perfcore();
+ TimeManagement::the().disable_profile_timer();
+ }
  }
 
  m_threads_for_coredump.clear();