Comment 73 for bug 1759920

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.
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).