Und wieder was Neues gelernt: Was macht man wenn (remote) shutdown -r (oder halt -f) nicht funktioniert, weil sich irgendwas IO technisch verklemmt hat? Die Anwort: via
simulierten Reset-Knopf:
echo 1 > /proc/sys/kernel/sysrq
echo b > /proc/sysrq-trigger
Hat funktioniert
