This page explains how to reboot mire using the SP interface.
Log into the SP using ssh.
ssh admin@mire-sp.hcoop.net
Power off the "platform", which is the normal processor.
platform set power state -f off
Power on the platform.
platform set power state -f on
After boot, run sudo /etc/init.d/domtool-slave start, as it seems that domtool-slave does not start up automatially.