Tengo un kernel (es decir el binario ya compilado) y no tengo el codigo fuente original con las opciones de cofiguracion que fueron seleccionadas para obtenerlo. Me gustaria saber estas opciones de cofiguracion. Hay alguna utilidad que me diga cuales fueron estas opciones?