Re: [PATCH 0/3] Makedumpfile gets estimated vmcore size with specified options