Qual é a diferença entre ports.ubuntu.com e us.archive.ubuntu.com ? Eu pergunto porque eu já tenho um apt-mirror para us.archive.ubuntu.com e não quero adicionar ports.ubuntu.com se não for necessário.
O us.archive.ubuntu.com não possui pacotes armhf?