hola una pregunta quiero descargar el kernel pero veo que son dos los que hay cual de los dos debo de descargar?gracias