What IETF standard is violated by a device using a known DNS server rather than the one offered by DHCP?