Quando usei o Ubuntu 16.04, o microcódigo Intel estava disponível na guia de drivers adicionais. Mas não está mais aparecendo no Ubuntu MATE 18.04. Corri apt-cache policy intel-microcodee descobri que não o tenho instalado. Além disso, recebo o seguinte com um 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.
Estou um pouco preocupado por causa da recente vulnerabilidade do colapso do espectro. Pesquisei um pouco no Google e pesquisei aqui e ali e parece que essa opção foi removida deliberadamente, o que acho que torna meu sistema vulnerável...
Então, devo manter meu sistema como está ou instalar o microcódigo Intel manualmente?