Firmware Bug sous Debian 10

A l’allumage de mon ordinateur, ce message apparaît :

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

Quelques infos sur les microcodes
Microcode Update Guidance

Dans la console :
cat /proc/cpuinfo

Dans la console (dépôt non-free) :
sudo apt-get install intel-microcode
sudo apt-get install firmware-misc-nonfree

Dans la console, après redémarrage de l’ordinateur :
cat /proc/cpuinfo

Pour plus d’informations sur le microcode, dans la console :
sudo dmesg | grep microcode