++
+ }
+Index: live-boot-grml/scripts/boot/9990-cmdline-old
+===================================================================
+--- live-boot-grml.orig/scripts/boot/9990-cmdline-old 2013-08-15 08:01:43.007980354 +0200
++++ live-boot-grml/scripts/boot/9990-cmdline-old 2013-08-15 08:01:43.007980354 +0200
+@@ -18,6 +18,19 @@
+ BOOTIF="${_PARAMETER#BOOTIF=}"
+ ;;
+
++ dns=*)
++ DNSSERVER="${_PARAMETER#*=}"
++ if echo "${DNSSERVER}" | grep -q , ; then
++ DNSSERVER1="${DNSSERVER%,*}"
++ DNSSERVER2="${DNSSERVER#*,}"
++ export DNSSERVER1 DNSSERVER2
++ else
++ DNSSERVER1="$DNSSERVER"
++ export DNSSERVER1
++ fi
++ unset DNSSERVER
++ ;;
++
+ bootid=*)
+ BOOTID="${_PARAMETER#bootid=}"
+ export BOOTID