Bug#924129: debian-installer: Kernel for armhf for stretch unbootable

[Peter Lebbing <peter@digitalbrains.com>]

Package: debian-installer
Version: 20170615+deb9u5+b2
Severity: grave
Justification: renders package unusable

Dear maintainers,

Debian kernel bug #922478 renders armhf systems unbootable. This bug was
fixed, but the debian-installer images still use (I presume) kernel
version 4.9.144-3, the unbootable version. I noticed this today while
trying to install a new system using:

http://http.us.debian.org/debian/dists/stretch/main/installer-armhf/current/images/netboot/SD-card-images/firmware.Wandboard.img.gz

The installer worked when I overwrote the /vmlinuz in that image with
the one from the new 4.9.144-3.1.

Thanks,

Peter.

-- System Information:
Debian Release: 9.8
  APT prefers stable-updates
  APT policy: (500, 'stable-updates'), (500, 'stable')
Architecture: armhf (armv7l)

Kernel: Linux 4.9.0-8-armmp (SMP w/4 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8), LANGUAGE=en_GB:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)