Re: [PATCH] devcoredump: increase the device delete timeout to 10 mins