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 位）下运行这个系统。在此 VM 下，启用了 Intel VT-x/EPT。