mg-debian-installer-update: download default armhf kernel as "linux"

This is what the other arches do, and is what ts-host-install expects.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/mg-debian-installer-update b/mg-debian-installer-update
index 19e3cf8b8badebaca193838f2f5a54180e8ed15c..526cdf1c2c6fcad172a917474cc6206b1a69645e 100755 (executable)
--- a/mg-debian-installer-update
+++ b/mg-debian-installer-update
@@ -54,7 +54,7 @@ case ${suite}_${arch} in
         ;;
     *_armhf)
         src=$sbase/main/installer-$arch/current/images/netboot
-        files='vmlinuz initrd.gz'
+        files='vmlinuz:linux initrd.gz'
         dtbs=$sbase/main/installer-$arch/current/images/device-tree/
         ;;
 esac