+# instead.
+#
+# Since we haven't run update-grub yet, we need to generate the
+# skeleton of a Debian menu.lst so that update-grub extracts the
+# options correctly
+#
+cat >/boot/grub/menu.lst <<EOF
+### BEGIN AUTOMAGIC KERNELS LIST
+## ## Start Default Options ##
+# indomU=true
+## ## End Default Options ##
+### END DEBIAN AUTOMAGIC KERNELS LIST
+EOF