kernel_config_option
int read_kernel_config(const struct kernel_config_option *requested_options,
struct kernel_config_option options[] = {
struct kernel_config_option options[] = {
int read_kernel_config(const struct kernel_config_option *requested_options,