Re: [PATCH] kdumpctl: change the shebang header to use /bin/bash