Dependency conflicts with proposed 4.13.0.19 UEFI-aware kernel

[Pierre Etienne SCHNEIDER]

The new version 4.13.0.19 of Linux-signed-image and linux-image-generic seem to have a sependency conflict/version mismatch on UEFI systems, which causes linux-signed-image to try to self-uninstall.

Seems unsafe, because this would take away the Ubuntu UEFI signing certificate from the boot sector, potentially rendering the system unbootable, popping error messages or creating a security breach.

Upon updating, the new kernel version should update / replace the UEFI keys in place, and no stuff should be deleted unless explicitly asked for.

******technical data*****

Ubuntu 17.10 with proposed updates enabled, current 05/12/17.

linux-signed-generic:
  Installé : 4.13.0.18.19
  Candidat : 4.13.0.19.20
 Table de version :
     4.13.0.19.20 500
        500 http://archive.ubuntu.com/ubuntu artful-proposed/main amd64 Packages
 *** 4.13.0.18.19 100
        100 /var/lib/dpkg/status
     4.13.0.17.18 500
        500 http://archive.ubuntu.com/ubuntu artful-updates/main amd64 Packages
        500 http://archive.ubuntu.com/ubuntu artful-security/main amd64 Packages
     4.13.0.16.17 500
        500 http://archive.ubuntu.com/ubuntu artful/main amd64 Packages

Have locked the version of kernel to 4.13.0.18 in Synaptic for now to prevent any auto-upgrading from breaking stuff.

ProblemType: Bug
DistroRelease: Ubuntu 17.10
Package: linux-signed-generic 4.13.0.18.19
ProcVersionSignature: Ubuntu 4.13.0-18.21-generic 4.13.13
Uname: Linux 4.13.0-18-generic x86_64
ApportVersion: 2.20.7-0ubuntu3.6
Architecture: amd64
AudioDevicesInUse:
 USER PID ACCESS COMMAND
 /dev/snd/controlC0: pierre 1185 F.... pulseaudio
CurrentDesktop: XFCE
Date: Wed Dec 6 08:42:19 2017
InstallationDate: Installed on 2017-11-29 (6 days ago)
InstallationMedia: Xubuntu 17.10 "Artful Aardvark" - Release amd64 (20171017.1)
Lsusb:
 Bus 002 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
 Bus 001 Device 005: ID 13d3:3408 IMC Networks
 Bus 001 Device 003: ID 05e3:0608 Genesys Logic, Inc. Hub
 Bus 001 Device 002: ID 04f2:b424 Chicony Electronics Co., Ltd
 Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
MachineType: ASUSTeK COMPUTER INC. X200MA
ProcFB: 0 inteldrmfb
ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-4.13.0-18-generic.efi.signed root=UUID=72987c52-a0fd-4447-a0ab-2ce45a285177 ro quiet splash vt.handoff=7
RelatedPackageVersions:
 linux-restricted-modules-4.13.0-18-generic N/A
 linux-backports-modules-4.13.0-18-generic N/A
 linux-firmware 1.169.1
SourcePackage: linux
UpgradeStatus: No upgrade log present (probably fresh install)
dmi.bios.date: 04/15/2015
dmi.bios.vendor: American Megatrends Inc.
dmi.bios.version: X200MA.506
dmi.board.asset.tag: ATN12345678901234567
dmi.board.name: X200MA
dmi.board.vendor: ASUSTeK COMPUTER INC.
dmi.board.version: 1.0
dmi.chassis.asset.tag: No Asset Tag
dmi.chassis.type: 10
dmi.chassis.vendor: ASUSTeK COMPUTER INC.
dmi.chassis.version: 1.0
dmi.modalias: dmi:bvnAmericanMegatrendsInc.:bvrX200MA.506:bd04/15/2015:svnASUSTeKCOMPUTERINC.:pnX200MA:pvr1.0:rvnASUSTeKCOMPUTERINC.:rnX200MA:rvr1.0:cvnASUSTeKCOMPUTERINC.:ct10:cvr1.0:
dmi.product.family: X
dmi.product.name: X200MA
dmi.product.version: 1.0
dmi.sys.vendor: ASUSTeK COMPUTER INC.

[Ubuntu Kernel Bot (ubuntu-kernel-bot)]

This change was made by a bot.