Re: [PATCH] kdumpctl: don't always rebuild when extra_modules is set