Revert "remove kernel"

This reverts commit 7ca192b4836549e8876a2faa516d2819cddfc912.