Este é certamente um bug, pois a única maneira de atribuir automaticamente servidores DNS é via DHCP.
-
Ao usar o endereçamento IP estático (manual), você deve inserir o (s) servidor (es) DNS manualmente.
-
Ao usar o endereçamento IP dinâmico (DHCP), você receberá o (s) servidor (es) DNS atribuído (s) a você automaticamente. Mas você pode substituir a atribuição automática de DNS do DHCP inserindo um ou mais servidores DNS estáticos para usar.