Isto parece ter resolvido o erro. Eu abri o arquivo
/etc/default/grub
e encontrado na linha 11
GRUB _ CMDLINE _ LINUX _ DEFAULT="quiet splash acpiosi=linux
Removendo os espaços entre _
para
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash acpiosi=linux
resolveu o problema