[linux-morello-distros] Re: [PATCH 0/1] Move to DNS usage to DHCP rather than hard-coded