Revert "Removed kernel"

This reverts commit 2c1fee8f951422f974ee4eef37f78e920d167cca.