Re: [PATCH] kdumpctl: Redirect the stdout of restorecon to /dev/null