Add way of stopping a kernel