Une astuce sur laquelle je viens de tomber ici.

C’est violent mais ça marche.

Power Reset :

echo 1 > /proc/sys/kernel/sysrq ; echo b > /proc/sysrq-trigger

 Power Halt :

echo 1 > /proc/sys/kernel/sysrq ; echo o > /proc/sysrq-trigger