Re: [PATCH] kdump-lib: fix get_option_value()