-
gksudo gedit /etc/default/grub
-
edite a linha que diz
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
e adicioneiommu=soft
Resultando em algo comoGRUB_CMDLINE_LINUX_DEFAULT="quiet iommu=soft splash"
se você não alterou os parâmetros do kernel anteriormente
A ordem dos parâmetros não importa, os espaços entre eles são importantes.
-
salve o arquivo
-
Emita o comando
sudo update-grub
-
Reinicializar
Adere a @Zanna que confirmou o parâmetro do kernel necessário no chat.
Para obter uma lista completa dos parâmetros do kernel, verifique o link