Rename the 32-bit kernel back to vmlinuz.
We assume this name all over the place, so let's KISS. As for why this renaming doesn't happen automatically any more (e.g. I got vmlinuz-4.7.0-0.bpo.1-686), I can only guess. Perhaps it's the non-standard linux flavor (686-unsigned) fed to live-config?
Showing with 4 additions and 2 deletions