Re: [PATCH 2/4] kdumpctl: improve check_wdt_modified()