Shut down a kernel

Shut down a running kernel by its ID.