Kernel/notebook mapping is removed when a kernel dies....
Kernel/notebook mapping is removed when a kernel dies.
* Previously, when a kernel died due to an external cause, the
notebook/kernel mapping was not removed, so the kernel would
be resused even though it was dead.
* The heartbeat now properly removes the notebook/kernel mapping.
