Tengo varios repositorios que no tienen binarios armhf (para el compilador cruzado RPi), por lo que apt-getsiempre me da un montón de errores 404 al actualizar las listas de paquetes. También me impide ejecutar, do-release-upgradeya que no puede encontrar binarios del sistema compilados armhf, que...