Ubuntu 17.10 [固件错误]：TSC_DEADLINE

Question

我已经安装了最新的 Ubuntu 17.10，在启动过程中出现此错误：代码：

[Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x25 (or later)

系统启动时没有出现任何其他问题，一切似乎都运行正常。系统已完全更新。我想知道为什么会出现此错误。我的笔记本型号是联想 ThinkPad 450s，安装了最新的驱动程序。

我的CPU型号是：代码：

Intel(R) Core(TM) i5-5300U CPU @ 2.30GHz (family: 0x6, model: 0x3d, stepping: 0x4)

我在最新的 VMware Player 14.0.0 build-6661328（Windows 7 64 位）下运行此系统。在此虚拟机下，启用了 Intel VT-x/EPT。