resolv.conf пуст и не использует серверы имен dhcp из аренды

I есть сервер, который не обновляется resolv.conf правильно при сетевом перезапуске. Это сервер Red Hat 7. Он должен использовать серверы имен из dhcp. Я проверил /var/lib/dhclient/dhclient--eth0.lease , и есть строка option domain-name-servers , в которой указаны правильные серверы для использования.

ifcfg -eth0 выглядит так:

DEVICE=eth0
ONBOOT=yes
BOOTPROTO=dhcp
IPV6INIT=no
MTU=1500
TYPE=Ethernet
NM_CONTROLLED=no
PERSISTENT_DHCLIENT=yes

Все, что я прочитал, предполагает, что это должно быть просто и работать. Я не думаю, что сетевой менеджер - проблема. Я попробовал sudo systemctl stop NetworkManager и получил сообщение о том, что служба не загружена. Я добавил PEERDNS = yes, который по умолчанию в любом случае имеет значение yes и не имеет значения. Он все еще перезаписан пустым файлом

$ cat /etc/resolv.conf 
options rotate timeout:1

Я не знаю, что еще можно проверить.