First, you use the break sequence to get to the kernel debugger. Then, use the call boot command. It might require calling call boot more than once before the machine reboots.