More fixups for arm64 CD builds

* Actually put the kernel and initramfs on the CD (doh!)
 * Replace the %install% variables with real paths

debian/changelog

@@ -5,6 +5,7 @@ debian-cd (3.1.17) UNRELEASED; urgency=medium
     uncompressed versions from the output disc. Closes: #767253. Initial
     patch from Michael Vogt - thanks!
   * Add 586 kernels to replace 486 for i386 CDs
+  * More tweaks for arm64 CD building
 
  -- Steve McIntyre <93sam@debian.org>  Wed, 29 Oct 2014 17:33:10 +0000
 

tools/boot/jessie/boot-arm64

@@ -65,6 +65,10 @@ for image in $BOOT_IMAGES; do
     fi
 done
 
+mkdir -p $CDDIR/$INSTALLDIR
+cp -lf cdrom/vmlinuz $CDDIR/$INSTALLDIR/
+cp -lf cdrom/initrd.gz $CDDIR/$INSTALLDIR/
+
 # Boot setup including config and help files comes from d-i.
 mkdir -pv $PWD/boot$N
 cat cdrom/debian-cd_info.tar.gz | (cd boot$N/; tar zx)
@@ -127,6 +131,11 @@ if [ -d boot$N/grub ] ; then
     fi      
 else
     echo "  No EFI boot code for $ARCH on CD$N"
+
+    # Finally, belt and braces - fix up the %install% entries in grub
+    # in case they're still there
+    sed -i "s,\%install\%,$INSTALLDIR,g" $CDDIR/boot/grub/grub.cfg
+
 fi
 
 # th,th, thats all