Re: [PATCH 40/47] kdump-lib.sh: batch update