No meu velho Dell eu tive que usar
reboot=acpi
paramenter do kernel , sugerido de here . Talvez você precise de alguns experimentos - minha antiga Dell não reiniciou todas as outras reinicializações (!) Sem o parâmetro do kernel. Mistérios do BIOS ...