Check that files that we want to update do exist

On arm64 the set of available files is different because we don't use
isolinux and win32-loader.

simple-cdd/disc-end-hook

@@ -10,18 +10,25 @@ ARCHES=$5
 
 cd $CDDIR
 
+fix_branding() {
+    sed -i -e 's|Debian GNU/Linux|Kali Linux|g' \
+	-e 's|Kali GNU/Linux|Kali Linux|g' \
+	-e 's|Debian kali-rolling|Kali Rolling|g' \
+	-e 's|Debian|Kali|g' \
+	-e 's|DEBIAN|KALI|g' \
+	"$@"
+}
+
 # Rebrand Debian into Kali
-# The theme doesn't exist on arm64...
+if [ -e ../boot$DISKNUM/isolinux/menu.cfg ]; then
-if [ "$ARCHES" != "arm64" ]; then
+    fix_branding ../boot$DISKNUM/isolinux/menu.cfg \
-sed -i -e 's|Debian GNU/Linux|Kali Linux|g' \
+		 ../boot$DISKNUM/isolinux/*.txt
-    -e 's|Kali GNU/Linux|Kali Linux|g' \
+fi
-    -e 's|Debian kali-rolling|Kali Rolling|g' \
+if [ -d boot/grub/theme ] && [ -s boot/grub/theme ]; then
-    -e 's|Debian|Kali|g' \
+    fix_branding boot/grub/theme/*
-    -e 's|DEBIAN|KALI|g' \
+fi
-    ../boot$DISKNUM/isolinux/menu.cfg \
+if [ -e autorun.inf ]; then
-    ../boot$DISKNUM/isolinux/*.txt \
+    fix_branding autorun.inf
-    boot/grub/theme/* \
-    autorun.inf
 fi
 
 # Replace Debian specific documentation