distro_bootcmd: read DHCP boot script name from a variable