Delete kernel

Obsolete