Сам спросил -- сам отвечаю. (-: > network-manager адрес DNS-сервера по dhcp успешно получает, но в > resolv.conf он не прописывается. Пакет resolvconf установлен. Выяснилось, что /etc/resolv.conf по неясной причине не стоял симлинком на /etc/resolvconf/run/resolv.conf. Замена файла на симлинк проблему решила. Осталось только непонятным: это баг или это я что-то не так понял/сделал? -- Dmitri Samsonov