Comment 38 for bug 1724650

> There is a proposed upstream patch: lp:1726303

that bug is dup of bug 1724912

but, the patch will only "help" you if the TSC_DEADLINE disabling was done incorrectly, i.e. if your system doesn't actually have that timer. That isn't the case for you.

> The above logs were taken with Ubuntu 17.04 where TSC deadline enables just fine
> even though the microcode revision is 0x1f as in 17.10 where this revision causes
> problems which ought to be solved in revision 0x25.

Because pre-artful 4.13 the kernel doesn't have the commit that actually checks the ucode and disables the timer for buggy fw versions. (I should probably get that commit backported to avoid buggy TSC_DEADLINE timer use).

If your cpu ucode isn't at the fixed level, your TSC_DEADLINE timer is buggy and may cause problems.

As @chiluk said, you need to install intel-microcode and reboot; that will get your cpu up to the correct fixed level of ucode.