Você não está encontrando o pacote intel-microcode
, porque ele está nos repositórios non-free
, que não são adicionados por padrão no momento da instalação.
Você precisa adicioná-lo ao seu /etc/apt/sources.list
Como em:
deb http://ftp.us.debian.org/debian/ stretch main contrib non-free
deb http://security.debian.org/ stretch/updates main contrib non-free
Não se esqueça de executar sudo apt update
depois adicionando o repositório não-livre e antes executando sudo apt install
.
Package: intel-microcode (3.20180425.1~deb9u1) [non-free]
Processor microcode firmware for Intel CPUs
This package contains updated system processor microcode for Intel i686 and Intel X86-64 processors. Intel releases microcode updates to correct processor behavior as documented in the respective processor specification updates.
For AMD processors, please refer to the amd64-microcode package.