Remove unneeded header from kernel/process.c
Add IPC closure events