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