Não posso oferecer garantias sobre isso, mas você pode procurar na opção reboot=
kernel. Conforme documentado no arquivo Documentation/kernel-parameters.txt
da árvore de origem do kernel:
reboot= [KNL]
Format (x86 or x86_64):
[w[arm] | c[old] | h[ard] | s[oft] | g[pio]] \
[[,]s[mp]#### \
[[,]b[ios] | a[cpi] | k[bd] | t[riple] | e[fi] | p[ci]] \
[[,]f[orce]
Where reboot_mode is one of warm (soft) or cold (hard) or gpio,
reboot_type is one of bios, acpi, kbd, triple, efi, or pci,
reboot_force is either force or not specified,
reboot_cpu is s[mp]#### with #### being the processor
to be used for rebooting.
Para usar essas opções, você precisará editar sua configuração do GRUB (ou outro carregador de inicialização). Você pode fazer isso uma única vez no GRUB, pressionando e
em vez de Enter para iniciar seu kernel. Isto lhe dará um editor de texto simples no qual você pode mudar as opções do kernel. Se você encontrar algo que funcione, use Customizador do GRUB para configurá-lo permanentemente.
Se você usar algo diferente do GRUB, precisará consultar a documentação do programa para aprender como fazer alterações. (A maioria torna mais fácil do que o GRUB personalizar as configurações, pelo menos se você estiver confortável editando os arquivos de configuração.)