El microcódigo Intel no está disponible en controladores adicionales

El microcódigo Intel no está disponible en controladores adicionales

Cuando usé Ubuntu 16.04, el microcódigo Intel estaba disponible en la pestaña de controladores adicionales. Pero ya no aparece en Ubuntu MATE 18.04. Lo ejecuté apt-cache policy intel-microcodey descubrí que no lo tengo instalado. Además, obtengo lo siguiente con un dmesgcomando:

sudo dmesg | grep --color -i "microcode"
[sudo] password for sakib: 
[    0.000000] [Firmware Bug]: TSC_DEADLINE disabled due to Errata; please update microcode to version: 0x22 (or later)
[    0.803747] microcode: sig=0x306c3, pf=0x2, revision=0x19
[    0.803800] microcode: Microcode Update Driver: v2.2.

Estoy un poco preocupado por la reciente vulnerabilidad de fusión del espectro. Busqué en Google un poco e investigué aquí y allá y parece que esta opción ha sido eliminada deliberadamente, lo que creo que hace que mi sistema sea vulnerable...

Entonces, ¿debería mantener mi sistema como está o instalar Intel-microcode manualmente?

información relacionada