# CONFIG_NFS_USE_LEGACY_DNS is not set