Acontece que, embora o dhcp não tenha sido ativado em /etc/network/interfaces , dhcpcd.service ainda estava em execução e atribuindo um IP. Eu consertei isso com
systemctl stop dhcpcd
systemctl disable dhcpcd
e reiniciado. IP secundário desaparecido!