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