I've downloaded the linux-image and linux-image extra debs and installed them with dpkg -i.
Rebooting (with the new microcode) hangs.
But on rebooting and checking /proc/version_signature I see:
Ubuntu 4.13.0-38.43-generic 4.13.16
which makes no sense - my files in /boot are from the new kernel deb (I checked the md5sums).
Well, I have a problem testing that kernel.
I've downloaded the linux-image and linux-image extra debs and installed them with dpkg -i.
Rebooting (with the new microcode) hangs. signature I see: 38.43-generic 4.13.16
But on rebooting and checking /proc/version_
Ubuntu 4.13.0-
which makes no sense - my files in /boot are from the new kernel deb (I checked the md5sums).