Re: [PATCH v1] distro_bootcmd: set devtype for dhcp boot