[PATCH] fix kill_proc_info() vs fork() theoretical race