update syslinux (and extlinux64) binaries

tools/isolinux.bin.update

@@ -23,6 +23,7 @@ apt-get --yes build-dep syslinux
 mkdir -m 0777 /tmp/syslinux
 cd /tmp/syslinux
 apt-get source syslinux
+apt-get install upx
 cd syslinux*/core
 
 for file in fs/iso9660/iso9660.c fs/lib/loadconfig.c elflink/load_env32.c; do
@@ -31,7 +32,13 @@ done
 
 cd ../
 
-make -j 8
+rm -f bios/core/isolinux.bin
+rm -f bios/com32/elflink/ldlinux/ldlinux.c32
+rm -f bios/com32/lib/libcom32.c32
+rm -f bios/com32/libutil/libutil.c32
+rm -f bios/com32/menu/vesamenu.c32
+
+make -j 8 -i
 
 echo
 echo "Copying files to $CWD ..."