As usual, for future reference…

When shutdown and init fail, and everything else fails too, and we do not have keyboard access to press SysRq:

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