Re: [PATCH] Add a new kdump.conf option: compress_args