manually applied patch to kernel/exit.c