Eu reinstalei o Windows. Isso não resolveu o problema. A rede está funcionando perfeitamente, mas sem DNS.
Alterei a placa de rede: problema corrigido.
Para uma boa ideia: Colocar o cartão antigo novamente produzirá o problema novamente, e a mudança para o novo cartão conserta-o todas as vezes.