Re: [PATCH 1/2] Remove obsolete kdump tool