IPv4 currently mandatory in PushReply (exception otherwise).
dhcp-option can be DN6 (older) or DNS (newer).