Restart a kernel

Restart a running kernel. This will kill the current kernel process and start a new one with the same ID.