我将计算机发送给制造商进行诊断并帮助解决它遇到的视频输出问题。他们更新了 BIOS。从那以后我得到
[Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x20 (or later)
我之前没有安装任何微码或ucode包，也没有收到此消息。
我已经联系了制造商，他们的回答是“不记得你的票号，但怀疑我们更新了 BIOS”，所以他们没有太大帮助。
它启动并工作，但 TSC_DEADLINE 重要还是有用？
但这似乎只适用于 VirtualBox，而且无论如何我已经在运行内核 4.14，所以我认为如果该提交能够解决我已经存在的问题。
ryan@pocketwee:~$ uname -a
Linux pocketwee 4.14.0-1-amd64 #1 SMP Debian 4.14.2-1 (2017-11-30) x86_64 GNU/Linux