Obrigado por todos aqueles que ajudaram. :)
Eu tentei passar "reboot = bios" como opção do kernel. Isso resolveu o problema de reinicialização. Meu sistema não está mais pendurado agora.
Leia isto para detalhes ao passar opções do kernel e ver valores alternativos que podem resolver seu problema.
Para alguns sistemas, como o Dell T1600, as opções de reinicialização e kernel do acpi podem não ser eficazes, mas uma pessoa conseguiu resolver o mesmo problema com base em uma recomendação para desativar um recurso da BIOS:
"VT for Direct I/O"
Também é possível atualizar o BIOS para ativar a reinicialização, mas isso não foi testado.