[PATCH v1 1/3] kdumpctl: Move get_kernel_size to kdumpctl