Bug#393229: Please make the default isolinux menu selection configurable

[Petter Reinholdtsen <pere@hungry.com>]

I noticed a bug in the amd64 patch.  Here is a better version.

Index: tools/boot/etch/boot-amd64
===================================================================
--- tools/boot/etch/boot-amd64	(revision 1125)
+++ tools/boot/etch/boot-amd64	(working copy)
@@ -131,6 +131,10 @@
 	sed -i "s|append |append $KERNEL_PARAMS |" boot$N/isolinux/isolinux.cfg
 fi
 
+if [ -n "$ISOLINUX_DEFAULT" ]; then
+	sed -i "s/^DEFAULT .*$/DEFAULT $ISOLINUX_DEFAULT/" boot$N/isolinux/isolinux.cfg
+fi
+
 # Add autorun if we have README.html
 
 if [ -f $CDDIR/README.html ]; then