Added command to shutdown the kernel