Add libmenu.c32 to isolinux directory

hdt in boot menu requires it:

| Failed to load libmenu.c32
| Failed to load COM32 file /boot/addons/hdt.c32

diff --git a/grml-live b/grml-live
index 150ada2..b216d90 100755 (executable)
--- a/grml-live
+++ b/grml-live
@@ -906,6 +906,7 @@ if [ "$ARCH" = i386 ] || [ "$ARCH" = amd64 ] ; then
          copy_addon_file ifcpu64.c32  /usr/lib/syslinux/modules/bios/ isolinux
          copy_addon_file ldlinux.c32  /usr/lib/syslinux/modules/bios/ isolinux
          copy_addon_file libcom32.c32 /usr/lib/syslinux/modules/bios/ isolinux
+         copy_addon_file libmenu.c32  /usr/lib/syslinux/modules/bios/ isolinux
          copy_addon_file libutil.c32  /usr/lib/syslinux/modules/bios/ isolinux
          copy_addon_file vesamenu.c32 /usr/lib/syslinux/modules/bios/ isolinux
        else # syslinux versions <= 3:4.05+dfsg-6+deb8u1