Automate a little bit the rebooting with SysRq.