-
gksudo gedit /etc/default/grub -
edite a linha que diz
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"e adicioneiommu=softResultando 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