Estimados/as, ¿Alguien sabe si hay algún repo con el nuevo kernel? (para no tener que compilarlo...jejeje) Saludos. Álvaro.