Bug fixes in DHCP values and apt-get options