Depois de mais algumas intromissões, encontrei uma solução: basta editar GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
para GRUB_CMDLINE_LINUX_DEFAULT="quiet splash reboot=pci"
e executar sudo update-grub
(ou fazer o mesmo usando o grub-customizer).
Outros possíveis valores :
- quente - não defina o sinalizador de reinicialização a frio
- frio - define o sinalizador de reinicialização a frio
- bios - reinicia pulando pela BIOS (somente para X86_32)
- smp (reinicialize executando a redefinição no BSP ou outra CPU - somente para X86_32)
- triplo - forçar uma falha tripla - init
- kbd - use o controlador de teclado. reinicialização a frio (padrão)
- acpi - use o RESET_REG no FADT
- efi - use o serviço de tempo de execução efi reset_system
- pci - use o chamado "registro de reinicialização de PCI", CF9
- force - evite qualquer coisa que possa ser pendurada