Work around grub sillyness of adding " to cmdline

Some versions of grub apparently add " to the cmdline when expanding vars,
and some don't. As we cannot really change the ISOs, work around this here.

diff --git a/42_grml b/42_grml
index c7b2016..6e82b90 100755 (executable)
--- a/42_grml
+++ b/42_grml
@@ -49,7 +49,7 @@ menuentry "${title}" {
 $(prepare_grub_to_access_device "$device" | sed -e "s/^/        /")
         iso_path="${rel_dirname}/${grml}"
         export iso_path
-        kernelopts="$CUSTOM_BOOTOPTIONS $additional_param"
+        kernelopts=" $CUSTOM_BOOTOPTIONS $additional_param "
         export kernelopts
         loopback loop "${rel_dirname}/$grml"
         set root=(loop)