Enviei meu computador ao fabricante para diagnóstico e ajuda para um problema de saída de vídeo que estava tendo. Eles atualizaram o BIOS. Desde então eu venho recebendo
[Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x20 (or later)
Eu não tinha nenhum pacote de microcódigo ou ucode instalado antes e não costumava receber esta mensagem.
Entrei em contato com o fabricante e eles responderam "não lembro o número do seu ticket, mas duvido que atualizamos o BIOS", então eles não estão sendo muito úteis.
Ele inicializa e funciona, mas TSC_DEADLINE é importante ou útil?
A única coisa que posso encontrar sobre isso é: https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git/commit/?id=73b866d89bf7c9a895d5445faad03fa3d56c8af8
Mas isso parece se aplicar apenas ao VirtualBox e, de qualquer forma, já estou executando o kernel 4.14, então acho que se esse commit fosse corrigir meu problema, ele já o teria feito.
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