[PATCH 4/4] add man documentation for kdumpctl get-default-crashkernel