Eu resolvi de outra maneira, porque tenho a impressão de que a solução acima está fazendo o que não foi perguntado, ou seja, implementando um servidor dhcp.
Eu deletei o bind9 e o dhcp3-server com
sudo aptitude remove bind9 dhcp3-server
e reiniciou a rede com
sudo /etc/init.d/networking restart
Eu também alterei o arquivo /etc/NetworkManager/NetworkManager.conf. Seu conteúdo se parece com:
[main]
plugins=ifupdown,keyfile
dns=dnsmasq
[ifupdown]
managed=true
Depois de modificar este arquivo, tive que reiniciar o serviço Network Manager:
sudo service network-manager restart
Agora o cliente dhcp parece configurar o servidor dns para aquele fornecido pelo dhcp.