Ainda não entendo por que estou obtendo dois endereços IP diferentes em ambos os casos, mas descobri como eliminar a segunda chamada DHCP:
Em / etc / network / interfaces , coloco o seguinte:
# /etc/network/interfaces -- configuration file for ifup(8), ifdown(8)
# The loopback interface
auto lo
iface lo inet loopback
# Wired or wireless interfaces
auto eth0
iface eth0 inet manual
O ponto chave aqui é a configuração "manual", que diz ao sistema para não tentar ativar a interface, porque ela já está ativada.
BTW eu li em algum lugar que confiar no DHCP inicial não é recomendado porque a concessão nunca é renovada dessa maneira, mas não tenho certeza quais são as implicações disso.