Added docs for kernel.terminate to Annotations