manually applied patch for kernel/process.c