Bug#973742: linux-source: 4.9.0-14-armmp-lpae update renders Olimex A20-OLinuXino-MICRO unbootable

[gregor <debian@gregor-horvath.com>]

Package: linux-source
Severity: important

Dear Maintainer,

*** Reporter, please consider answering these questions, where appropriate ***

   * What led up to the situation?

   unattended-upgrades installed new 4.9.0-14 kernel version.
   System did not boot afterwards.
   
   * What exactly did you do (or not do) that was effective (or
     ineffective)?
     
   reverting vmlinux, initrd, boot.scr and dtb symbolic links in /boot to old/bak version 4.9.0-13 worked


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

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

Versions of packages linux-source depends on:
pn  linux-source-4.9  <none>

linux-source recommends no packages.

linux-source suggests no packages.