kernel_config_data_size   66 kernel/configs.c 				       kernel_config_data_size);
kernel_config_data_size   87 kernel/configs.c 	entry->size = kernel_config_data_size;