[PATCH] fix de_thread() vs do_coredump() deadlock