Re: [PATCH 2/2] kdumpctl: add support for co-existence of 4K and 64K kernel