Essayes /sbin/shutdown -r now en explicitant bien le chemin, pour voir, au feeling.
Sinon, autre test au feeling:
dans /etc/default/grub, tu testes: GRUB_CMDLINE_LINUX="reboot=bios"
aprés tu update-grub et tu testes ton reboot.
Si bios ne marche pas, tu changes le paramètre reboot à efi, acpi, pci.
Merci de vos réponses. Mais je crois que j’ai trouvé une autre solution beaucoup plus radical, mais certes plus efficace, à savoir faire installer libreboot sur mon T400 !