I can also confirm that the problem doesn't occur with linux-image-4.13.0-38-generic_4.13.0-38.43+lp1759920.1_amd64.deb
cat /proc/version_signature => Ubuntu 4.13.0-38.43+lp1759920.1-generic 4.13.16
cat /proc/cmdline => BOOT_IMAGE=/vmlinuz-4.13.0-38-generic root=/dev/mapper/kubuntu--vg-root ro quiet splash vt.handoff=7
dmesg -t | grep -i microcode => microcode: microcode updated early to revision 0x1f, date = 2018-02-07 microcode: sig=0x306a9, pf=0x10, revision=0x1f microcode: Microcode Update Driver: v2.2.
I can also confirm that the problem doesn't occur with linux-image- 4.13.0- 38-generic_ 4.13.0- 38.43+lp1759920 .1_amd64. deb
cat /proc/version_ signature => 38.43+lp1759920 .1-generic 4.13.16
Ubuntu 4.13.0-
cat /proc/cmdline => /vmlinuz- 4.13.0- 38-generic root=/dev/ mapper/ kubuntu- -vg-root ro quiet splash vt.handoff=7
BOOT_IMAGE=
dmesg -t | grep -i microcode =>
microcode: microcode updated early to revision 0x1f, date = 2018-02-07
microcode: sig=0x306a9, pf=0x10, revision=0x1f
microcode: Microcode Update Driver: v2.2.