diff --git a/configs/dk-tm4c129x/ipv6/defconfig b/configs/dk-tm4c129x/ipv6/defconfig
index 7980f0bb38..81b3becb22 100644
--- a/configs/dk-tm4c129x/ipv6/defconfig
+++ b/configs/dk-tm4c129x/ipv6/defconfig
@@ -637,6 +637,7 @@ CONFIG_NET_ICMPv6_PING=y
 CONFIG_NET_ICMPv6_NEIGHBOR=y
 CONFIG_ICMPv6_NEIGHBOR_MAXTRIES=5
 CONFIG_ICMPv6_NEIGHBOR_DELAYMSEC=20
+# CONFIG_NET_ICMPv6_AUTOCONF is not set
 
 #
 # IGMPv2 Client Support
@@ -857,8 +858,6 @@ CONFIG_EXAMPLES_NSH=y
 # Networking Utilities
 #
 # CONFIG_NETUTILS_CODECS is not set
-# CONFIG_NETUTILS_DHCPC is not set
-# CONFIG_NETUTILS_DHCPD is not set
 # CONFIG_NETUTILS_FTPC is not set
 # CONFIG_NETUTILS_FTPD is not set
 # CONFIG_NETUTILS_JSON is not set