Rework kernel death detection. Fixes #17